qcheckversion
QuickCheck inspired property-based testing for OCaml.
This module allows to check invariants (properties of some types) over randomly generated instances of the type.
Tags | test property quickcheck |
---|---|
Author | Simon Cruanes <simon.cruanes@inria.fr> |
Published | |
Homepage | https://github.com/c-cube/qcheck/ |
Maintainer | simon.cruanes@inria.fr |
Dependencies |
|
Conflicts |
|
Source [http] | https://github.com/c-cube/qcheck/archive/0.1.3.tar.gz md5=2f6e386165b1a7dbab61a72a45792934 |
Statistics | Not installed in the last month. |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.1.3/opam |
Required by
- bt
- containerswith-test & >=2.0
- genwith-test & >=0.5.1
- lbvs_consent
- lua_patternwith-test
- nunchakuwith-test & >=0.5.1
- oseqwith-test
- ppx_regexpwith-test & >=0.4.0
- ppx_tyrewith-test
- regenerate
- sequencewith-test & >=1.0
- stringextwith-test & >=1.4.0 & <1.4.3
- syslog-messagewith-test
Optionally used by
- logtkwith-test
- zipperpositionwith-test & <1.5