qcheck-coreversion
Core qcheck library
| Tags | test property quickcheck |
|---|---|
| Author | the qcheck contributors |
| 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/v0.24.tar.gz md5=4eecb056dba04a9b68786135dd2e66bc sha512=b7a0dcf6c46e297f8e44f0c66d4b671f285c87fe4052f5e990f02012a5386b8052a5f1e79fc92093e7ef20c6d69155d63e40fc7e30cdc4d34b2d1c8654568958 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.24/opam |
Required by
- algaeffwith-test
- bare_encodingwith-test & >=0.3.1
- bwdwith-test & >=1.2.0
- colibri2
- containerswith-test & >=3.9
- containers-datawith-test & >=3.9
- containers-threadwith-test & >=3.9
- domainslibwith-test & >=0.5.1
- goblint
- hacl-starwith-test & >=0.7.0
- iterwith-test & >=1.6
- kcas_datawith-test & >=0.7.0
- logtkwith-test
- lruwith-test & >=0.3.0
- moonpoolwith-test & >=0.3
- octez-libswith-test
- octez-shell-libswith-test
- ortac-qcheck-stmwith-test & <0.4.0
- osnap>=0.3.0
- patricia-treewith-test
- picoswith-test & <0.5.0
- picos_meta
- ppx_deriving_qcheck>=0.6
- psqwith-test & >=0.1.1
- qcheck>=0.24
- qcheck-alcotest>=0.24
- qcheck-lin
- qcheck-multicoretests-util
- qcheck-ounit>=0.24
- qcheck-stm
- saturnwith-test & >=1.0.0
- saturn_lockfreewith-test & >=0.5.0
- sqidswith-test
- term-indexingwith-test
- term-toolswith-test
- tezos-proxywith-test & >=17.3
- tezos-shell-services-test-helpers>=16.0
- tiny_httpdwith-test & >=0.13
- yuujinchouwith-test & >=3.0.0
