opam on Github

qcheck-stmversion
0.1

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
Source [http] https://github.com/ocaml-multicore/multicoretests/archive/0.1.tar.gz
md5=38880c219c17bc47ae2246c93fd91fb5
sha512=abd960a8c1d962cc9e7b2120f7e952a59e4ef44d137335ce029b8884ad49870efa6e1c239f973117f893b615fdaa9bd29039f49b880e6da64e7e3190d849648e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qcheck-stm/qcheck-stm.0.1/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.