package qcheck-multicoretests-util
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Various utility functions for property-based testing of multicore programs
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.tar.gz
md5=8e7634814a61bf765ac6989f7fdc49cb
sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb
Description
A small library of utility functions for QCheck-based testing of multicore programs.
Dependencies (3)
-
qcheck-core
>= "0.25" -
ocaml
>= "4.12" -
dune
>= "3.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (8)
-
domainslib
>= "0.5.1" -
ortac-qcheck-stm
< "0.4.0" -
picos
< "0.5.0" - picos_meta
-
qcheck-lin
>= "0.8" -
qcheck-stm
>= "0.8" -
saturn
>= "1.0.0" -
saturn_lockfree
>= "0.5.0"
Conflicts
None
On This Page