Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but | Gabor Pali | 2010-01-04 | 1 | -0/+89 |
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> Notes: svn path=/head/; revision=247104 |