package qcstm

  1. Overview
  2. Docs
A simple state-machine framework for OCaml based on QCheck

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. J
    Jan Midtgaard

Maintainers

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

Sources

0.1.tar.gz
md5=e802a61964397ba73277d0da583a5269

Description

Tags

state machine test property quickcheck

Published: 04 Jun 2019

Dependencies (4)

  1. ocamlbuild build
  2. ocamlfind build
  3. qcheck >= "0.8"
  4. ocaml >= "4.04.0"

Dev Dependencies

None

Used by

None

Conflicts

None