falsify

Property-based testing with internal integrated shrinking.

This library provides property based testing with support for internal integrated shrinking: integrated in the sense of Hedgehog, meaning that there is no need to write a separate shrinker and generator; and internal in the sense of Hypothesis, meaning that this works well even across monadic bind. However, the actual techniques that power falsify are quite different from both of these two libraries.

Most users will probably want to use the integration with tasty, and use Test.Tasty.Falsify as their main entrypoint into the library. The Test.Falsify.Interactive module can be used to experiment with the library in ghci.