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.7.tar.gz sha256=136d9134e2274f7eaf8021bc205a6008dcaa07612725db1ea8da98505d0e55c4 md5=ca3c7d24200a8ca7e4390f1145eae3a9 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.7/opam |
Required by
- base32with-test
- batterieswith-test & >=2.7.0 & <3.4.0
- bencodewith-test & >=2.0
- binsecwith-test & >=0.4.0
- bt
- cborlwith-test
- clp_operationswith-test
- containerswith-test & >=2.8 & <3.0
- containers-datawith-test & =3.8
- containers-threadwith-test & =3.8
- docfdwith-test & >=2.2.0
- dolmenwith-test & >=0.7 & <0.8.1
- eriswith-test
- eris-lwtwith-test
- ezgzipwith-test
- genwith-test & >=0.5.1 & <0.5.3
- infernowith-test & >=20220603
- iterwith-test & <1.2.1
- lbvs_consent
- lt-codewith-test
- lua_patternwith-test
- lwdwith-test & <0.3
- nunchakuwith-test & >=0.5.1
- oasis2opambuild & =0.6.0
- obatcherwith-test
- oseqwith-test & (>=0.3 & <0.4.1 | >=0.5.1)
- ppx_regexpwith-test & >=0.4.0
- ppx_tyrewith-test
- pratter=1.2.1 | >=3.0.0
- prbnmcn-cgrphwith-test
- qtest>=2.5 & <2.11.1
- regenerate<0.2
- sequencewith-test & >=1.0
- serdewith-test & >=0.0.2
- spelllwith-test & =0.3
- 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
Optionally used by
- logtkwith-test & <1.5.1
- zipperpositionwith-test & <1.5
