Blob Blame History Raw
# ocaml-qcheck

[Qcheck](https://c-cube.github.io/qcheck/) enables checking invariants
(properties of a type) over randomly generated instances of the type.  It
provides combinators for generating instances and printing them.