check-it
check-it is a property-based testing tool designed to be used from within other test frameworks. Its flexible value-generation facility can also be used on its own outside of a testing context.

Features:

  • Shrinks values to discover a minimum failing case
  • Can be tuned to manage the size of data structures generated from recursive type specifications
  • Can be configured to save previously discovered random failures as deterministic regression tests in future runs of the test suite

Source repository: https://github.com/DalekBaldwin/check-it

License: LLGPL