pgj 2009-03-14 15:19:34 UTC
FreeBSD ports repository (doc committer)
Modified files:
devel Makefile
Added files:
devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr
pkg-plist
Log:
Lazy SmallCheck is a library for exhaustive, demand-driven testing of
Haskell programs. It is based on the idea that if a property holds for
a partially-defined input then it must also hold for all fully-defined
refinements of the that input. Compared to `eager' input generation as
in SmallCheck, Lazy SmallCheck may require significantly fewer
test-cases to verify a property for all inputs up to a given depth.
WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
Approved by: gabor
Revision Changes Path
1.3404 +1 -0 ports/devel/Makefile
1.1 +55 -0 ports/devel/hs-lazysmallcheck-ghc/Makefile (new)
1.1 +3 -0 ports/devel/hs-lazysmallcheck-ghc/distinfo (new)
1.1 +8 -0 ports/devel/hs-lazysmallcheck-ghc/pkg-descr (new)
1.1 +14 -0 ports/devel/hs-lazysmallcheck-ghc/pkg-plist (new)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
