cvs commit: ports/devel Makefile ports/devel/hs-smallcheck
Makefile distinfo pkg-descr pkg-plist
ports/devel/hs-smallcheck/files patch-smallcheck.cabal
Gabor Pali
pgj at FreeBSD.org
Mon Jan 4 05:35:06 UTC 2010
pgj 2010-01-04 05:35:06 UTC
FreeBSD ports repository
Modified files:
devel Makefile
Added files:
devel/hs-smallcheck Makefile distinfo pkg-descr pkg-plist
devel/hs-smallcheck/files patch-smallcheck.cabal
Log:
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
WWW: http://hackage.haskell.org/package/smallcheck
PR: ports/142280
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Revision Changes Path
1.3739 +1 -0 ports/devel/Makefile
1.1 +89 -0 ports/devel/hs-smallcheck/Makefile (new)
1.1 +3 -0 ports/devel/hs-smallcheck/distinfo (new)
1.1 +29 -0 ports/devel/hs-smallcheck/files/patch-smallcheck.cabal (new)
1.1 +6 -0 ports/devel/hs-smallcheck/pkg-descr (new)
1.1 +14 -0 ports/devel/hs-smallcheck/pkg-plist (new)
More information about the cvs-all
mailing list