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

Install

github.com Readme Changelog BSD-2-clause License 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.1.1.tar.gz
md5=897d5fda34450109e64ef2b589314d74
sha512=b93e998dbb6a48d9ced032a9fe54ecd5e092dbac911a815e0f5c565d0dbccc44277e6f56895a0d1df5d72fe32d18db61b1101f81f2fe4675f2e5a1b977ad4ef2

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: 09 Feb 2023

Dependencies (4)

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

Dev Dependencies (2)

  1. odoc with-doc
  2. ppx_deriving with-test & >= "5.2.1"

Used by (1)

  1. lockfree >= "0.3.1"

Conflicts

None