Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
smallcheck: test your Haskell code by exhaustively checking its properties
Haskell

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
Test
examples
test-framework-smallcheck
test
.gitignore
CHANGES.md
CREDITS.md
LICENSE
README.md
Setup.hs
smallcheck.cabal

README.md

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:

Something went wrong with that request. Please try again.