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
AuthorsJan Midtgaard, Olivier Nicole, Nicolas Osborne and Samuel Hym
LicenseBSD-2-clause
Published
Homepagehttps://github.com/ocaml-multicore/multicoretests
Issue Trackerhttps://github.com/ocaml-multicore/multicoretests/issues
MaintainerJan Midtgaard <mail@janmidtgaard.dk>
Dependencies
Optional dependencies
Source [http] https://github.com/ocaml-multicore/multicoretests/archive/0.3.tar.gz
md5=5d37b4c26c0cdca6ea68aedde8676bbf
sha512=32e1808e6228df93c2f017259dbb70cd7c8b399a07b04d2e1a84e1d729fb5c478bf706bfc3ec342d160011c990f1520c43ff9a8cd13dd718eec8399a31618d6e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qcheck-stm/qcheck-stm.0.3/opam
Required by