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
& ocamlbuild
ocamlfind
Optional dependencies
ounit
Available ocaml-version >= "4.00.0"
Published Jun 9, 2015
Source [http] http://github.com/c-cube/qcheck/archive/0.4.0.1.tar.gz
84d5871efa592dd3834eee28d581c188
Statistics Installed 6 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.4/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
stringext
& >= 1.4.0
1.4.3
syslog-message
Optional for
logtk
zipperposition