Up – Package index » qcheck-stm » Library qcheck-stm.stm » STM » Internal

Module `STM.Internal`Source

Internal helper module to build STM tests.

Sourcemodule Make (Spec : Spec) : sig ... end

Derives a test framework from a state machine specification.