Simplified Failures

Hedgehog's integrated shrinkers are composed automatically when you compose generators, so test failures are automatically simplified.

Range Control

Range combinators for full control over the scope of generated numbers and collections.

State Machine Testing

Test stateful systems like web services and database layers with state-based property testing.