qcheck-multicoretests-utilversion
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/0.2.tar.gz md5=d3d214d0a5c0d9f191a58be165151e27 sha512=cf7bef79ae7eec15e0cdf9d93cb0fe07e5f75dd3d8da825c509132119289fab9b13976bc61ea033246074caa22c0ef45f7522487e5feadf47ca30db3de995253 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.2/opam |
Required by
- domainslibwith-test & >=0.5.1
- ortac-qcheck-stmwith-test
- qcheck-lin=0.2
- qcheck-stm=0.2
