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
On This Page