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.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Installed Size: 2.5 MB
Architectures: amd64 arm64