qcheck

Author Simon Cruanes <simon.cruanes@inria.fr>
Homepage https://github.com/c-cube/qcheck/
Issue Tracker https://github.com/c-cube/qcheck/issues
Tags { test, property, quickcheck }
Maintainer simon.cruanes@inria.fr
Dependencies
& base-bytes
base-unix
ocamlfind
ounit
Available ocaml-version >= "4.00.0"
Published Jan 11, 2017
Source [http] http://github.com/c-cube/qcheck/archive/0.5.2.tar.gz
f7c7e3c45a46bcd5b5eb2b0c93c207d6
Statistics Installed 176 times in last month.
Edit https://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.

Necessary for
bt
oasis2opam
>= 0.6.0
qtest
>= 2.5
stringext
& >= 1.4.0
1.4.3
syslog-message
Optional for
logtk
zipperposition