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.3.tar.gz sha256=a44ddb404f06f255cc4d4272525317ebcc8274d9f1af7c9c9593da3bba0d3b6f md5=dcc2dbefc2089ef8c0bd4f0cc3805c77 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.3/opam |
Required by
- base32with-test
- 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
- 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
- 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
- regenerate<0.2
- sequencewith-test & >=1.0
- 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
Optionally used by
- logtkwith-test & <1.5.1
- zipperpositionwith-test & <1.5