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 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

Maintainers

J

Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.8.tar.gz

md5=8e7634814a61bf765ac6989f7fdc49cb

sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb

doc/qcheck-lin.lin/Lin/Internal/Make/index.html

Module `Internal.Make`Source

Parameters

module Spec : CmdSpec

Signature

Source

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

Source

val check_seq_cons : 
  (Spec.cmd * Spec.res) list ->
  (Spec.cmd * Spec.res) list ->
  (Spec.cmd * Spec.res) list ->
  Spec.t ->
  Spec.cmd list ->
  bool

Sourceval interp_plain : Spec.t -> Spec.cmd list -> (Spec.cmd * Spec.res) list

Source

val lin_test : 
  rep_count:int ->
  retries:int ->
  count:int ->
  name:string ->
  lin_prop:((Spec.cmd list * Spec.cmd list * Spec.cmd list) -> bool) ->
  QCheck.Test.t

Source

val neg_lin_test : 
  rep_count:int ->
  retries:int ->
  count:int ->
  name:string ->
  lin_prop:((Spec.cmd list * Spec.cmd list * Spec.cmd list) -> bool) ->
  QCheck.Test.t

On This Page

Parameters
Signature

package qcheck-lin

Install

Dune Dependency

Authors

Maintainers

Sources

doc/qcheck-lin.lin/Lin/Internal/Make/index.html

Module Internal.MakeSource

Parameters

Signature

Module `Internal.Make`Source