diff options
author | Gabor Pali <pgj@FreeBSD.org> | 2010-01-04 13:35:06 +0800 |
---|---|---|
committer | Gabor Pali <pgj@FreeBSD.org> | 2010-01-04 13:35:06 +0800 |
commit | 76f862074109890b1132d144a2a0ee5611594899 (patch) | |
tree | 991a51ed1fef03bcaf2d94c012472311061ad938 /devel/hs-show | |
parent | a4df9b833ad6fa06d85aba8ba481b1bf80ab64e7 (diff) | |
download | freebsd-ports-gnome-76f862074109890b1132d144a2a0ee5611594899.tar.gz freebsd-ports-gnome-76f862074109890b1132d144a2a0ee5611594899.tar.zst freebsd-ports-gnome-76f862074109890b1132d144a2a0ee5611594899.zip |
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>
Diffstat (limited to 'devel/hs-show')
0 files changed, 0 insertions, 0 deletions