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
Authors
Maintainers
Sources
0.3.tar.gz
md5=5d37b4c26c0cdca6ea68aedde8676bbf
sha512=32e1808e6228df93c2f017259dbb70cd7c8b399a07b04d2e1a84e1d729fb5c478bf706bfc3ec342d160011c990f1520c43ff9a8cd13dd718eec8399a31618d6e
Description
A small library of utility functions for QCheck-based testing of multicore programs.
Dependencies (3)
-
qcheck-core
>= "0.20"
-
ocaml
>= "4.12"
-
dune
>= "3.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (4)
-
domainslib
>= "0.5.1"
- ortac-qcheck-stm
-
qcheck-lin
>= "0.3"
-
qcheck-stm
>= "0.3"
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page