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)
Upload dateSat Nov 19 08:47:41 UTC 2011
Uploaded byRomanCheplyaka
DistributionsDebian:1.1.1, Fedora:1.0.4, FreeBSD:1.0.2, NixOS:1.1.1
Downloads5362 total (649 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees