jjames / rpms / ocaml-qcheck

Forked from rpms/ocaml-qcheck 11 months ago
Clone

ocaml-qcheck

Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them.