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 Dec 16, 2016
Source [http] http://github.com/c-cube/qcheck/archive/0.5.tar.gz
9798f3d99409b900cb4fb87520cd03bc
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.5/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