Hedgehog is a brand new property-based testing system.
In mainstream scenarios it
- makes properties less fragmented
- doesn’t require to write shrinkers; it does it for free
- provides fine-grained control over the scope and shrinking of generated values
It is available for
It can be used from
Koen Claessen created QuickCheck together with John Hughes. ↩