package qcstm
A simple state-machine framework for OCaml based on QCheck
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.tar.gz
sha256=d19db46cc6acd203847f60eab4aae91a23e854d430507d99d798aa8f3282f5f3
md5=e802a61964397ba73277d0da583a5269
Description
Dependencies (4)
-
ocamlbuild
build -
ocamlfind
build -
qcheck
>= "0.8" -
ocaml
>= "4.04.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page