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.2007@m4x.orgr> |
Published | |
Homepage | https://github.com/c-cube/qcheck/ |
Issue Tracker | https://github.com/c-cube/qcheck/issues |
Maintainer | simon.cruanes.2007@m4x.org |
Dependencies |
|
Conflicts |
|
Source [http] | https://github.com/c-cube/qcheck/archive/0.8.tar.gz sha256=b1f9c4e1d9dcf4f9b0c7f82cef24c739e3dbcbb53337198930e037245436effd md5=061005847a32c4b4252d449e26f6c8f9 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.8/opam |
Required by
- archsatwith-test
- 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
- js_of_ocaml-compilerwith-test & >=5.9.0
- lbvs_consent>=2.0.0
- 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
- qcstm
- qtest>=2.5 & <2.11.1
- regenerate
- 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