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 and quickcheck | |||||||||||||
| Maintainer | simon.cruanes@inria.fr | |||||||||||||
| Dependencies |
| |||||||||||||
| Optional dependencies |
| |||||||||||||
| Available | ocaml-version >= "4.00.0" | |||||||||||||
| Published | Jun 9, 2015 | |||||||||||||
| Source [http] | https://github.com/c-cube/qcheck/archive/0.4.0.1.tar.gz 84d5871efa592dd3834eee28d581c188 | |||||||||||||
| Statistics | Installed once last month. | |||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.4/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 | ||
| containers | ||
| >= 2.0 | ||
| gen | ||
| >= 0.5.1 | ||
| lbvs_consent | ||
| lua_pattern | ||
| nunchaku | ||
| >= 0.5.1 | ||
| oasis2opam | ||
| >= 0.6.0 | ||
| oseq | ||
| regenerate | ||
| sequence | ||
| >= 1.0 | ||
| stringext | ||
| & | >= 1.4.0 | |
| < 1.4.3 | ||
| syslog-message | ||
| Optional for | ||
| logtk | ||
| zipperposition | ||
| < 1.5 | ||
