Make (ortac-runtime-qcheck-stm.Ortac_runtime_qcheck

Parameters

module Spec : STM.Spec

Signature

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.