package qcheck-stm

  1. Overview
  2. Docs
State-machine testing library for sequential and parallel model-based tests

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
md5=38880c219c17bc47ae2246c93fd91fb5
sha512=abd960a8c1d962cc9e7b2120f7e952a59e4ef44d137335ce029b8884ad49870efa6e1c239f973117f893b615fdaa9bd29039f49b880e6da64e7e3190d849648e

CHANGES.md.html

Changes

0.1

The initial opam release of qcheck-lin, qcheck-stm, and qcheck-multicoretests-util.

The multicoretests package is not released on opam, as it is of limited use to OCaml developers.

OCaml

Innovation. Community. Security.