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.1.tar.gz
md5=897d5fda34450109e64ef2b589314d74
sha512=b93e998dbb6a48d9ced032a9fe54ecd5e092dbac911a815e0f5c565d0dbccc44277e6f56895a0d1df5d72fe32d18db61b1101f81f2fe4675f2e5a1b977ad4ef2

CHANGES.md.html

Changes

0.1.1

  • #263: Cleanup resources after each domain-based Lin test

  • #281: Escape and quote strings printed with STM's string combinator

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.