package ortac-runtime-qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

Runtime support library for Ortac/QCheck-STM-generated code

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

Maintainers

N

Nicolas Osborne <nicolas.osborne@tarides.com>

Sources

0.7.1.tar.gz

md5=de704f2acde11eb11a3a8f7155d1803c

sha512=060969ff333cd36d445a36ccbab4acf5269a4fae5720389e551fb90c303c09a25db23074b7b243634a507ded1e95a927f4a9af209b21924feda41a57140625b7

doc/ortac-runtime-qcheck-stm/Ortac_runtime_qcheck_stm/Make/index.html

Module `Ortac_runtime_qcheck_stm.Make`Source

Parameters

module Spec : STM.Spec

Signature

Source

val agree_test : 
  count:int ->
  name:string ->
  int ->
  (unit -> unit) ->
  (Spec.cmd -> Spec.sut -> bool -> STM.res -> string) ->
  (Spec.cmd -> Spec.state -> STM.res -> report option) ->
  QCheck.Test.t

agree_test ~count ~name max_suts init_state show_cmd postcond An agreement test specialised to be used by Ortac/QCheck-STM.

On This Page

Parameters
Signature