qcheck

QuickCheck inspired property-based testing for OCaml.
Description

This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.