A simple state-machine framework for OCaml based on QCheck
Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause