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 27, 2017
Source [http] http://github.com/c-cube/qcheck/archive/0.5.3.1.tar.gz
9e79548354aea199a521b3c3986f1702
Statistics Installed 664 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.5.3.1/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