qcheck-stm

State-machine testing library for sequential and parallel model-based tests
Description

A state-machine testing library based on QCheck that can generate both sequential and parallel tests against a declarative model.

Install
test property qcheck quickcheck state-machine testing model-based testing parallel testing
Documentation github.com Changelog BSD-2-clause License Edit opam file
Published
08 Dec 2022
Authors
Maintainers
Sources
0.1.tar.gz
md5=38880c219c17bc47ae2246c93fd91fb5 sha512=abd960a8c1d962cc9e7b2120f7e952a59e4ef44d137335ce029b8884ad49870efa6e1c239f973117f893b615fdaa9bd29039f49b880e6da64e7e3190d849648e
Dependencies
odoc with-doc
qcheck-multicoretests-util = version
qcheck-core >= "0.20"
base-domains
dune >= "2.9"
Reverse Dependencies