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.
Properties
| Versions | 0.2.1, 0.4, 0.5, 0.6 |
|---|---|
| Dependencies | base, haskell98 |
| License | BSD3 |
| Author | Colin Runciman |
| Maintainer | Colin Runciman <Colin.Runciman@cs.york.ac.uk> |
| Stability | Beta |
| Category | Testing |
| Upload date | Tue May 27 10:05:20 UTC 2008 |
| Uploaded by | ColinRunciman |
| Built on | ghc-6.10, ghc-6.12, ghc-6.8, ghc-7.0 |
| Build failure | ghc-7.2 (log) |
| Distributions | NixOS: 0.6, Debian: 0.6, FreeBSD: 0.4 |
Modules
- Test
Downloads
- smallcheck-0.4.tar.gz (Cabal source package)
- package description (included in the package)