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

dune-project

Dependency

md5=ce75e64a125c5593d8e3c91752406067

sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

Internal helper module to build STM tests.

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

Derives a test framework from a state machine specification.