Module Lin_domain.Make_internal

functor to build an internal module representing parallel tests

Parameters

Signature

val arb_cmds_triple : int -> int -> (Spec.cmd list * Spec.cmd list * Spec.cmd list) QCheck.arbitrary
val lin_prop : (Spec.cmd list * Spec.cmd list * Spec.cmd list) -> bool
val stress_prop : (Spec.cmd list * Spec.cmd list * Spec.cmd list) -> bool
val lin_test : count:int -> name:string -> QCheck.Test.t
val neg_lin_test : count:int -> name:string -> QCheck.Test.t
val stress_test : count:int -> name:string -> QCheck.Test.t