qcheck-stmversion
State-machine testing library for sequential and parallel model-based tests
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 testing |
---|---|
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.4.tar.gz md5=1c6b24db60dcdab518a03175e9a233e5 sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-stm/qcheck-stm.0.4/opam |
Required by
- domainslibwith-test & >=0.5.1
- kcas_datawith-test & >=0.7.0
- lockfreewith-test & >=0.3.1
- ortac-qcheck-stm
- ortac-runtime-qcheck-stm
- picoswith-test & <0.5.0
- picos_meta
- saturnwith-test
- saturn_lockfreewith-test