qcheck 0.1.2
| Author | Simon Cruanes <simon.cruanes@inria.fr> | ||||
|---|---|---|---|---|---|
| Homepage | https://github.com/c-cube/qcheck/ | ||||
| Maintainer | simon.cruanes@inria.fr | ||||
| Tags | test, property and quickcheck | ||||
| Dependencies |
|
||||
| OCaml | >= 4.00.0 | ||||
| Published | Oct 8, 2013 | ||||
| Source [http] |
https://github.com/c-cube/qcheck/archive/0.1.2.tar.gz 07d3d9e736a48854506ed89162981134 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.1.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.
| Necessary for | ||
|---|---|---|
| bt |