76f8620741
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>
6 lines
302 B
Text
6 lines
302 B
Text
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
|