The smallcheck package

SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.

Properties

Versions	0.2.1, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 1.0, 1.0.1, 1.0.2
Dependencies	base (4.*), ghc-prim (≥0.2), logict, mtl, pretty
License	BSD3
Author	Colin Runciman, Roman Cheplyaka
Maintainer	Roman Cheplyaka <roma@ro-che.info>
Stability	Beta
Category	Testing
Home page	https://github.com/feuerbach/smallcheck
Bug tracker	https://github.com/feuerbach/smallcheck/issues
Source repository	git clone git://github.com/feuerbach/smallcheck.git
Upload date	Tue Mar 12 21:35:06 UTC 2013
Uploaded by	RomanCheplyaka
Built on	ghc-7.6
Distributions	Fedora: 1.0.2, NixOS: 1.0.2, Debian: 0.6, FreeBSD: 1.0.2

Modules

Test
- Test.SmallCheck
  - Test.SmallCheck.Drivers
  - Test.SmallCheck.Series

Downloads

smallcheck-1.0.2.tar.gz (Cabal source package)
package description (included in the package)