qcheck 0.2
| Authors | Simon Cruanes <simon.cruanes@inria.fr> and Gabriel Scherer <gabriel.scherer@gmail.com> | ||||
|---|---|---|---|---|---|
| Homepage | https://github.com/c-cube/qcheck/ | ||||
| Maintainer | simon.cruanes@inria.fr | ||||
| Tags | test, property and quickcheck | ||||
| Dependencies |
|
||||
| OCaml | >= 4.00.0 | ||||
| Published | Nov 7, 2013 | ||||
| Source [http] |
http://cedeela.fr/~simon/software/releases/qcheck-0.2.tar.gz 20cd905282925a476d0016f5b4578b5b |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.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. Also contains Gabriel Scherer's random value generator library, https://github.com/gasche/random-generator
| Necessary for | ||
|---|---|---|
| bt |