K 10
svn:author
V 3
pgj
K 8
svn:date
V 27
2010-01-04T05:35:06.000000Z
K 7
svn:log
V 371
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>

END