qcheck-linversion

A multicore testing library for OCaml

A testing library based on QCheck to test interface behaviour under parallel usage. Lin will generate and run random parallel tests and check the observed behaviour for sequential consistency, that is, whether they can be linearized and explained by some sequential interleaving.

Tags test property qcheck quickcheck parallelism sequential consistency
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
Optional 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-lin/qcheck-lin.0.4/opam
No package is dependent