qcheck 0.1.3
| 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 17, 2013 | ||||
| Source [http] |
https://github.com/c-cube/qcheck/archive/0.1.3.tar.gz 2f6e386165b1a7dbab61a72a45792934 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.1.3/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 |