ghc-smallcheck 1.2.1 Property-based testing library

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