qcheck

AuthorSimon Cruanes <simon.cruanes@inria.fr>
Homepagehttps://github.com/c-cube/qcheck/
Issue Trackerhttps://github.com/c-cube/qcheck/issues
Tagstest, property and quickcheck
Maintainersimon.cruanes@inria.fr
Dependencies
&base-bytes
base-unix
ocamlfind
ounit
Availableocaml-version >= "4.00.0"
PublishedJan 11, 2017
Source [http] https://github.com/c-cube/qcheck/archive/0.5.2.tar.gz
f7c7e3c45a46bcd5b5eb2b0c93c207d6
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.5.2/opam

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.