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
AuthorsJan Midtgaard, Olivier Nicole, Nicolas Osborne and Samuel Hym
LicenseBSD-2-clause
Published
Homepagehttps://github.com/ocaml-multicore/multicoretests
Issue Trackerhttps://github.com/ocaml-multicore/multicoretests/issues
MaintainerJan Midtgaard <mail@janmidtgaard.dk>
Dependencies
Source [http] https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.4.tar.gz
md5=1c6b24db60dcdab518a03175e9a233e5
sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.4/opam
Required by