/qcstm

A simple state-machine framework for OCaml based on QCheck

Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Stargazers