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.
Não existe um pacote oficial para openSUSE Leap 16.0