package qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

State-machine testing library for sequential and parallel model-based tests

Install

md5=8e7634814a61bf765ac6989f7fdc49cb

sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb

Internal helper module to build STM tests.

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

Derives a test framework from a state machine specification.