qcstm

A simple state-machine framework for OCaml based on QCheck
IN THIS PACKAGE
Module type QCSTM . StmSpec
type cmd
type state
type sut
val arb_cmd : state -> cmd QCheck.arbitrary
val init_state : state
val next_state : cmd -> state -> state
val init_sut : unit -> sut
val cleanup : sut -> unit
val run_cmd : cmd -> state -> sut -> bool
val precond : cmd -> state -> bool