The smallcheck package
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.
[Skip to Readme]
|Versions||0.2.1, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 1.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.1, 184.108.40.206, 1.1.1, 1.1.2, 1.1.3, 220.127.116.11|
|Dependencies||base, haskell98 (<2) [details]|
|Maintainer||Colin Runciman <Colin.Runciman@cs.york.ac.uk>|
|Uploaded||Tue May 27 10:05:20 UTC 2008 by ColinRunciman|
|Updated||Tue Jan 12 07:51:52 UTC 2016 by HerbertValerioRiedel to revision 1 [What is this?]|
|Distributions||Arch:18.104.22.168, Debian:1.1.1, Fedora:1.1.1, FreeBSD:1.1.1, LTSHaskell:22.214.171.124, NixOS:126.96.36.199, Stackage:188.8.131.52, openSUSE:184.108.40.206|
|Downloads||23943 total (266 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees