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 |
|
Conflicts |
|
Source [http] | https://github.com/c-cube/qcheck/archive/0.5.3.1.tar.gz sha256=46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff md5=9e79548354aea199a521b3c3986f1702 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.5.3.1/opam |
Required by
- base32with-test
- bencodewith-test & >=2.0
- cborlwith-test
- clp_operationswith-test
- containerswith-test & <3.0
- containers-datawith-test & =3.8
- containers-threadwith-test & =3.8
- docfdwith-test & >=2.2.0
- dolmenwith-test & >=0.7 & <0.8.1
- genwith-test & >=0.5.1 & <0.5.3
- infernowith-test & >=20220603
- js_of_ocaml-compilerwith-test & >=5.9.0
- lbvs_consent
- lt-codewith-test
- lua_patternwith-test
- lwdwith-test & <0.3
- obatcherwith-test
- oseqwith-test & (>=0.3 & <0.4.1 | >=0.5.1)
- ppx_regexpwith-test & >=0.4.0
- ppx_tyrewith-test
- pratterwith-test & =1.2.1
- prbnmcn-cgrphwith-test
- qtest<2.11.1
- serdewith-test & >=0.0.2
- stdintwith-test & >=0.7.1
- stramon-libwith-test
- syslog-messagewith-test & >=1.0.0
- timedescwith-test
- timerewith-test
- yocamlwith-test & >=2.0.0
- yocaml_syndicationwith-test & >=2.0.0
- zarwith-test & >=0.9.3