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