Opam Package qcstm.0.1.1

Package info

opam-nameqcstm
opam-version0.1.1
synopsisA simple state-machine framework for OCaml based on QCheck
description 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.
authors
  • Jan Midtgaard
homepagehttps://github.com/jmid/qcstm
licenseBSD-2-Clause
deps (7)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

qcstm

Package files

lib/qcstm/qCSTM.o
lib/qcstm/qCSTM.cmxa
lib/qcstm/qCSTM.cmx
lib/qcstm/qCSTM.cmo
lib/qcstm/qCSTM.cmi
lib/qcstm/qCSTM.cma
lib/qcstm/qCSTM.a
lib/qcstm/META
lib/qcstm