Up – Package index » qcheck-lin » Library qcheck-lin.thread » Lin_thread » Make_internal

Module `Lin_thread.Make_internal`Source

Functor to build an internal module representing concurrent tests

alert internal This module is exposed for internal uses only, its API may change at any time

Parameters

module Spec : Lin.Internal.CmdSpec

val arb_cmds_triple : 
  int ->
  int ->
  (Spec.cmd list * Spec.cmd list * Spec.cmd list) QCheck.arbitrary

Sourceval lin_prop : (Spec.cmd list * Spec.cmd list * Spec.cmd list) -> bool

Sourceval lin_test : count:int -> name:string -> QCheck.Test.t

Sourceval neg_lin_test : count:int -> name:string -> QCheck.Test.t