smallcheck: Another lightweight testing library in Haskell.
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.
| Versions | 0.2.1, 0.4 |
|---|---|
| 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 |
| Distributions | Arch: 0.4 |
Modules
- Test
Downloads
- smallcheck-0.4.tar.gz (Cabal source package)
- package description (included in the package)