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.
| 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.tar.gz md5=fe39b37f128f774f771b36805db94dd2 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.1/opam |
Required by
- base32with-test
- bencodewith-test & >=2.0
- bt
- cborlwith-test
- clp_operationswith-test
- containerswith-test & >=2.8 & <3.8
- containers-datawith-test & <3.9
- containers-threadwith-test & <3.9
- dolmenwith-test & >=0.7
- eriswith-test
- eris-lwtwith-test
- fadbadmlwith-test & >=0.1.2
- genwith-test & >=0.5.1
- infernowith-test & >=20220603
- iterwith-test & <1.6
- lbvs_consent
- lt-codewith-test
- lua_patternwith-test
- lwdwith-test
- lwt-pipewith-test
- nunchakuwith-test & >=0.5.1
- olinqwith-test & >=0.3
- oseqwith-test & >=0.3
- ppx_regexpwith-test & >=0.4.0
- ppx_tyrewith-test
- pratterwith-test & >=1.2.1
- prbnmcn-cgrphwith-test
- regenerate
- sequencewith-test & >=1.0
- spelllwith-test & >=0.3
- sqlite3_utilswith-test
- stdintwith-test & >=0.7.1
- syslog-messagewith-test
- timedescwith-test
- timerewith-test
- tiny_httpdwith-test & >=0.3 & <0.7
Optionally used by
- logtkwith-test & <1.5.1
- zipperpositionwith-test & <1.5
