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

Account name Password

register