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. It provides combinators for generating instances and printing them.
Tags | test property quickcheck |
---|---|
Author | Simon Cruanes <simon.cruanes@inria.fr> |
Published | |
Homepage | https://github.com/c-cube/qcheck/ |
Issue Tracker | https://github.com/c-cube/qcheck/issues |
Maintainer | simon.cruanes@inria.fr |
Dependencies |
|
Optional dependencies | |
Conflicts |
|
Source [http] | https://github.com/c-cube/qcheck/archive/0.4.0.1.tar.gz md5=84d5871efa592dd3834eee28d581c188 |
Statistics | Installed 15 times last month. |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.4/opam |
Required by
- bencodewith-test & >=2.0
- bt
- containerswith-test & >=2.8
- containers-datawith-test
- containers-threadwith-test
- fadbadmlwith-test & >=0.1.2
- genwith-test & >=0.5.1
- iterwith-test
- lbvs_consent
- lua_patternwith-test
- lwdwith-test
- lwt-pipewith-test
- nunchakuwith-test & >=0.5.1
- oasis2opamwith-test & >=0.6.0
- olinqwith-test & >=0.3
- oseqwith-test
- ppx_regexpwith-test & >=0.4.0
- ppx_tyrewith-test
- regenerate
- sequencewith-test & >=1.0
- spelllwith-test & >=0.3
- sqlite3_utilswith-test
- stringextwith-test & >=1.4.0 & <1.4.3
- syslog-messagewith-test
- tiny_httpdwith-test & >=0.3 & <0.7
Optionally used by
- logtkwith-test & <1.5.1
- zipperpositionwith-test & <1.5