package qcheck-stm

  1. Overview
  2. Docs
State-machine testing library for sequential and parallel model-based tests

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

doc/qcheck-stm.domain/STM_domain/index.html

Module STM_domainSource

Module for building parallel STM tests over Stdlib.Domains

Sourcemodule Make (Spec : STM.Spec) : sig ... end
Sourcemodule MakeExt (Spec : STM.SpecExt) : sig ... end
OCaml

Innovation. Community. Security.