qcheck 0.1
| Homepage | https://github.com/c-cube/qcheck/ | ||||
|---|---|---|---|---|---|
| Maintainer | simon.cruanes@inria.fr | ||||
| Dependencies |
|
||||
| OCaml | >= 4.00.0 | ||||
| Published | Oct 6, 2013 | ||||
| Source [http] |
https://github.com/c-cube/qcheck/archive/0.1.tar.gz fe39b37f128f774f771b36805db94dd2 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.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.
| Necessary for | ||
|---|---|---|
| bt |