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, haskell98
LicenseBSD3
AuthorColin Runciman
MaintainerColin Runciman <Colin.Runciman@cs.york.ac.uk>
StabilityBeta
CategoryTesting
Upload dateTue May 27 10:05:20 UTC 2008
Uploaded byColinRunciman
DistributionsDebian:1.1.1, Fedora:1.0.4, FreeBSD:1.0.2, NixOS:1.1.1
Downloads5622 total (615 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees