package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

A multicore testing library for OCaml

Install

dune-project

Dependency

md5=ce75e64a125c5593d8e3c91752406067

sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

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

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

On This Page