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> |
License | BSD-2-Clause |
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.9.tar.gz md5=7782c8cfce30a5fb766d933e99129ee7 sha512=e1007b4a3be338406d855efcf8d13ac4961963a6c77b794ab83973950e21c777cb66ab6020a0a714f96866597bc8bf7a76a84243e5062dab5b41978e78422e0b |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck/qcheck.0.9/opam |
Required by
- archsatwith-test
- base32with-test
- batterieswith-test & >=2.7.0
- bencodewith-test & >=2.0
- binsecwith-test & >=0.4.0
- bt
- cborlwith-test
- clp_operationswith-test
- containerswith-test & >=2.0 & <3.8
- containers-datawith-test & <3.9
- containers-threadwith-test & <3.9
- docfdwith-test & >=2.2.0
- dolmenwith-test & >=0.7 & <0.10
- eriswith-test
- eris-lwtwith-test
- ezgzipwith-test
- genwith-test & >=0.5.1
- infernowith-test & >=20220603
- iterwith-test & <1.6
- js_of_ocaml-compilerwith-test & >=5.9.0
- lbvs_consent>=2.0.0
- lt-codewith-test
- lua_patternwith-test
- lwdwith-test
- lwt-pipewith-test
- nunchakuwith-test & >=0.5.1
- oasis2opambuild & =0.6.0
- obatcherwith-test
- olinqwith-test & >=0.3
- oseqwith-test
- 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
- sqlite3_utilswith-test
- stdintwith-test & >=0.7.1
- stramon-libwith-test
- syslog-messagewith-test & >=1.0.0
- timedescwith-test
- timerewith-test
- tiny_httpdwith-test & >=0.3 & <0.13
- 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