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/0.3.tar.gz md5=5d37b4c26c0cdca6ea68aedde8676bbf sha512=32e1808e6228df93c2f017259dbb70cd7c8b399a07b04d2e1a84e1d729fb5c478bf706bfc3ec342d160011c990f1520c43ff9a8cd13dd718eec8399a31618d6e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-stm/qcheck-stm.0.3/opam |
Required by
- domainslibwith-test & >=0.5.1
- kcas_datawith-test & >=0.7.0
- lockfreewith-test & >=0.3.1
- ortac-qcheck-stmwith-test & <0.4.0
- ortac-runtime-qcheck-stm<0.4.0
- picoswith-test & <0.5.0
- picos_meta
- saturnwith-test
- saturn_lockfreewith-test
