The smallcheck package

[Tags: bsd3, library]

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.


Properties

Versions0.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, 1.1.0.1, 1.1.1
Dependenciesbase (==4.*)
LicenseBSD3
AuthorColin Runciman
MaintainerRoman Cheplyaka <roma@ro-che.info>
StabilityBeta
CategoryTesting
Home pagehttps://github.com/feuerbach/smallcheck
Bug trackerhttps://github.com/feuerbach/smallcheck/issues
Source repositoryhead: git clone git://github.com/feuerbach/smallcheck.git
this: git clone git://github.com/feuerbach/smallcheck.git(tag v0.5)
UploadedSat Nov 19 08:47:41 UTC 2011 by RomanCheplyaka
DistributionsDebian:1.1.1, Fedora:1.0.4, FreeBSD:1.0.2, NixOS:1.1.1, Stackage:1.1.1
Downloads8186 total (322 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees