Date: Sat, 14 Mar 2009 15:19:34 +0000 (UTC) From: Gabor Pali <pgj@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/devel Makefile ports/devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr pkg-plist Message-ID: <200903141519.n2EFJYP0023500@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200903141519.n2EFJYP0023500>