haskell-smallcheck: haskell-smallcheck (property-based testing library) haskell-smallcheck: haskell-smallcheck: SmallCheck is a testing library that allows to verify properties haskell-smallcheck: for all test cases up to some depth. The test cases are generated haskell-smallcheck: automatically by SmallCheck. haskell-smallcheck: haskell-smallcheck: haskell-smallcheck: haskell-smallcheck: haskell-smallcheck: haskell-smallcheck: