Make (ortac-runtime-qcheck-stm.Ortac_runtime_qcheck

Parameters

module Spec : STM.Spec

Signature

module Internal : sig ... end

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

val pp_terms : Stdlib.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 -> unit) ->
  (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 -> unit) ->
  (Spec.cmd -> Spec.sut -> bool -> STM.res -> string) ->
  (Spec.cmd -> Spec.state -> STM.res -> report option) ->
  QCheck.Test.t