package qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

github.com Readme Changelog BSD-2-clause License Edit opam file Versions (5)

Authors

Maintainers

J

Jan Midtgaard <mail@janmidtgaard.dk>

Sources

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.