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.
Для openSUSE Leap 16.0 відсутній офіційний пакунок