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
  - Model
    
    Make
    
    M
  - SUT
    
    Make
    
    M

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Spec : STM.Spec

Signature

module Internal : sig ... end

val pp_trace : 
  int ->
  Format.formatter ->
  ((string * STM.res) list * string * string * expected_result) ->
  unit

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

val message : int -> (string * STM.res) list -> report -> 'a

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

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

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