qcheck-multicoretests-utilversion Documentation on ocaml.org
Various utility functions for property-based testing of multicore programs
A small library of utility functions for QCheck-based testing of multicore programs.
| Tags | test property qcheck quickcheck multicore non-determinism |
|---|---|
| Authors | Jan Midtgaard, Olivier Nicole, Nicolas Osborne and Samuel Hym |
| License | BSD-2-clause |
| Published | |
| Homepage | https://github.com/ocaml-multicore/multicoretests |
| Issue Tracker | https://github.com/ocaml-multicore/multicoretests/issues |
| Maintainer | Jan Midtgaard <mail@janmidtgaard.dk> |
| Dependencies |
|
| Source [http] | https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.10.tar.gz md5=ed5980f1cfbfa1e2d2ec5a87954dddf8 sha512=90c451903adb7cbd83aa0f2ad7738d662edc23affb669ed762564cdb2e140ca931afeaabc199fbb6028163fc41c17049961bef7fd2664c677cb1df552d10736d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.10/opam |
Required by
- domainslibwith-test & >=0.5.1
- ortac-qcheck-stmwith-test & <0.6.1
- picoswith-test & <0.5.0
- picos_metawith-test
- qcheck-lin>=0.10
- qcheck-stm>=0.10
- saturnwith-test & >=1.0.0
- saturn_lockfreewith-test & >=0.5.0
