qcheck-coreversion
Core qcheck library
| Tags | test property quickcheck |
|---|---|
| Author | Simon Cruanes <[email protected]> |
| License | BSD-2-Clause |
| Published | |
| Homepage | https://github.com/c-cube/qcheck/ |
| Issue Tracker | https://github.com/c-cube/qcheck/issues |
| Maintainer | [email protected] |
| Dependencies |
|
| Conflicts |
|
| Source [http] | https://github.com/c-cube/qcheck/archive/0.13.tar.gz md5=134c6b4ffc90076eef3041dbc01181f1 sha512=eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.13/opam |
Required by
- fast_bitvectorwith-test & >=0.1.2.2
- fungiwith-test
- goblint<2.2.1
- iterwith-test & >=1.6
- logtkwith-test
- lruwith-test & >=0.3.0
- octez-libswith-test
- octez-shell-libswith-test
- ortac-qcheck-stmwith-test & <0.6.1
- prefacewith-test & <1.0.0
- psqwith-test & >=0.1.1
- qcheck=0.13
- qcheck-ounit<0.17
- tezos-proxywith-test & >=17.3
- tezos-shell-services-test-helpers>=16.0
- tiny_httpdwith-test & >=0.13
