package qcheck-stm
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
State-machine testing library for sequential and parallel model-based tests
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.tar.gz
md5=8e7634814a61bf765ac6989f7fdc49cb
sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb
Description
A state-machine testing library based on QCheck that can generate both sequential and parallel tests against a declarative model.
Tags
test property qcheck quickcheck state-machine testing model-based testing parallel testingPublished: 10 Apr 2025
Dependencies (4)
-
qcheck-multicoretests-util
= version -
qcheck-core
>= "0.25" -
ocaml
>= "4.12" -
dune
>= "3.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (9)
-
domainslib
>= "0.5.1" -
kcas_data
>= "0.7.0" -
lockfree
>= "0.3.1" - ortac-qcheck-stm
- ortac-runtime-qcheck-stm
-
picos
< "0.5.0" - picos_meta
- saturn
- saturn_lockfree
Conflicts
None
On This Page