package ortac-runtime-qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

ortac-runtime-qcheck-stm
- Ortac_runtime_qcheck_stm
  - Make
    
    Internal
    
    Spec

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Spec : STM.Spec

Signature

module Internal : sig ... end

val pp_trace : 
  Format.formatter ->
  ((Spec.cmd * STM.res) list * string * string * (string, STM.res) Either.t) ->
  unit

val pp_terms : Format.formatter -> (string * location) list -> unit

val message : (Spec.cmd * STM.res) list -> report -> 'a

val check_disagree : 
  (Spec.cmd -> Spec.state -> STM.res -> 'a option) ->
  Spec.state ->
  Spec.sut ->
  Spec.cmd list ->
  ((Spec.cmd * STM.res) list * 'a) option

val agree_prop : 
  (unit -> 'a) ->
  (Spec.cmd -> Spec.state -> STM.res -> report option) ->
  Spec.cmd list ->
  bool

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