ocaml-qcheck

QuickCheck inspired property-based testing for OCaml

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.