qcheck-coreversion
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-core/qcheck-core.0.9/opam |
Required by
- goblint>=1.1.1 & <2.2.1
- iterwith-test & >=1.6
- logtkwith-test & >=1.5.1
- lruwith-test & >=0.3.0
- octez-libswith-test
- octez-shell-libswith-test
- ortac-qcheck-stmwith-test & <0.4.0
- psqwith-test & >=0.1.1
- qcheck=0.9
- qcheck-alcotest<0.10
- qcheck-ounit<0.10
- tezos-proxywith-test & >=17.1
- tezos-shell-services-test-helpers<12.0 | >=13.0
- tezos-webassembly-interpreterwith-test & <15.0
- tiny_httpdwith-test & >=0.13
