qcheck-coreversion Documentation on ocaml.org
Core QCheck library
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck-core library provides the core property-based testing API with
minimal dependendies: It requires only unix and dune.
| 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 |
| Documentation | http://c-cube.github.io/qcheck/ |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/c-cube/qcheck/archive/v0.27.tar.gz md5=dd6df3f9b934567e4b1292a183af0554 sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.27/opam |
Required by
- algaeffwith-test
- bare_encodingwith-test & >=0.3.1
- bwdwith-test & >=1.2.0
- codex
- colibri2
- containerswith-test & =3.17
- containers-datawith-test & >=3.9 & <3.18
- containers-threadwith-test & >=3.9
- domainslibwith-test & >=0.5.1
- fast_bitvectorwith-test & >=0.1.2.2
- fungiwith-test
- goblint<2.0.0 | >=2.6.0
- hacl-starwith-test & >=0.7.0
- iterwith-test & >=1.6
- kcas_datawith-test & >=0.7.0
- logtkwith-test
- lruwith-test & >=0.3.0
- mel-bastetwith-test
- moonpoolwith-test & >=0.3
- moonpool-lwtwith-test & >=0.9
- mopsa>=1.2
- oktreewith-test & >=0.2.4
- ortac-qcheck-stmwith-test & <0.6.1
- osnap>=0.3.0
- patricia-treewith-test & <0.12.0
- picoswith-test & <0.5.0
- picos_meta
- ppx_deriving_qcheck<0.9
- preface>=1.1.0
- psqwith-test & >=0.1.1
- qcheck=0.27
- qcheck-alcotest=0.27
- qcheck-lin
- qcheck-multicoretests-util
- qcheck-ounit=0.27
- qcheck-stm
- saturnwith-test & >=1.0.0
- saturn_lockfreewith-test & >=0.5.0
- sqidswith-test
- term-indexingwith-test
- term-toolswith-test
- tiny_httpdwith-test & >=0.13 & <0.20
- yuujinchouwith-test & >=3.0.0
