package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

A multicore testing library for OCaml

Install

md5=8e7634814a61bf765ac6989f7fdc49cb

sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb

Functor to build an internal module representing Stdlib.Effect-based tests

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

module Spec : Lin.Internal.CmdSpec

Sourcemodule EffSpec : sig ... end

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

Sourceval lin_prop : (EffSpec.cmd list * EffSpec.cmd list * EffSpec.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