package qcheck-lin
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A multicore testing library for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.tar.gz
md5=8e7634814a61bf765ac6989f7fdc49cb
sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb
Description
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.
Dependencies (4)
-
qcheck-multicoretests-util
= version -
qcheck-core
>= "0.25" -
ocaml
>= "4.12" -
dune
>= "3.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page