smallcheck: test your Haskell code by exhaustively checking its properties
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore .gitignore Jan 25, 2013
.travis.yml Fix and enable tests Dec 25, 2017
LICENSE README: maintainership information Aug 8, 2017
smallcheck.cabal Release smallcheck-1.1.5 Jul 5, 2018
stack.yaml Fix and enable tests Dec 25, 2017

SmallCheck: a property-based testing library for Haskell

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.

Usefulness of such an approach to testing is based on the following observation:

If a program fails to meet its specification in some cases, it almost always fails in some simple case.

To get started with SmallCheck:


Roman Cheplyaka is the primary maintainer.

Oliver Charles is the backup maintainer. Please get in touch with him if the primary maintainer cannot be reached.