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.

Folk-law: if there is any case in which a program fails, there is almost always a simple one.

Corollary: if a program does not fail in any simple case, it almost never fails.

Other possible sales pitches:


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
LicenseBSD3
AuthorColin Runciman
MaintainerColin Runciman <Colin.Runciman@cs.york.ac.uk>
StabilityBeta
CategoryTesting
Home pagehttp://www.cs.york.ac.uk/fp/smallcheck0.2.tar
UploadedTue Mar 11 21:45:35 UTC 2008 by GwernBranwen
DistributionsDebian:1.1.1, Fedora:1.0.4, FreeBSD:1.0.2, NixOS:1.1.1, Stackage:1.1.1
Downloads8197 total (293 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