qcstmversion
A simple state-machine framework for OCaml based on QCheck
This library implements a simple, typed state machine framework for property-based testing of imperative code. Tests are described by (a generator of) symbolic commands and two command interpreters over an abstract model and the system under test.
The library requires a recent installation of the QCheck framework.
| Tags | state machine test property quickcheck |
|---|---|
| Author | Jan Midtgaard |
| License | BSD-2-Clause |
| Published | |
| Homepage | https://github.com/jmid/qcstm |
| Issue Tracker | https://github.com/jmid/qcstm/issues |
| Maintainer | Jan Midtgaard <mail@janmidtgaard.dk> |
| Dependencies |
|
| Source [http] | https://github.com/jmid/qcstm/archive/0.1.1.tar.gz sha256=b634944b197512ff46c3e8ffeb86c4abd3b308db00b3e9defafaf9bb6112caa8 md5=aea97b691038c9c93d1378ba4d5ad7ad |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcstm/qcstm.0.1.1/opam |
No package is dependent
