Hacker News Reader

The article mentions that smallcheck doesn't qualify as property based testing. However it's hard to see what it is from its description. Any ideas what smallcheck does?

> SmallCheck is a testing library that allows to verify properties for all test cases up to some depth.

https://hackage.haskell.org/package/smallcheck

View on HN

It's like QuickCheck, but instead of testing random values, it tests all values in a certain range.

For example, if the function takes an array of 128 bit values, it's test all the possible arrays of length 0, 1, 2... up to the length you want to test for.

(Actually, not necessarily all, but all that an exhaustive generator generates; the generator would normally go through all values, but it potentially could only test some values, but would not select them at random).

Reply on news.ycombinator.com