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 |
|---|---|
| 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 |
|
| Optional dependencies | |
| Source [http] | https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.5.tar.gz md5=3a236b0a83ab37bd59d46b7f1305b24e sha512=18fc051a1d25421e6e554538ec29eac125cb2febd57a7004c285271c632ca7748dce5e6cb508a824d9dcd6443c81a4810f264480a3d663da6987bfd3abd29f0d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-lin/qcheck-lin.0.5/opam |
No package is dependent
