jmid / qcstm

A simple state-machine framework for OCaml based on QCheck
63Updated 2 years ago

Related projects: