package qcheck-stm

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

Install

github.com Edit opam file

Authors

  1. J
    Jan Midtgaard
  2. O
    Olivier Nicole
  3. N
    Nicolas Osborne
  4. S
    Samuel Hym

Maintainers

  1. J
    Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.3.tar.gz
md5=5d37b4c26c0cdca6ea68aedde8676bbf
sha512=32e1808e6228df93c2f017259dbb70cd7c8b399a07b04d2e1a84e1d729fb5c478bf706bfc3ec342d160011c990f1520c43ff9a8cd13dd718eec8399a31618d6e

Description

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

Published: 11 Oct 2023

Dependencies (4)

  1. qcheck-multicoretests-util = version
  2. qcheck-core >= "0.20"
  3. ocaml >= "4.12"
  4. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Conflicts

None