package qcheck-lin

  1. Overview
  2. Docs
A multicore testing library for OCaml

Install 

dune-project
 Dependency

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

Authors

  1. J
    Jan Midtgaard
  2. O
    Olivier Nicole
  3. N
    Nicolas Osborne
  4. S
    Samuel Hym

Maintainers

  1. J
    Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.10.tar.gz
md5=ed5980f1cfbfa1e2d2ec5a87954dddf8
sha512=90c451903adb7cbd83aa0f2ad7738d662edc23affb669ed762564cdb2e140ca931afeaabc199fbb6028163fc41c17049961bef7fd2664c677cb1df552d10736d

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

Module Internal.MakeSource

Parameters

module Spec : CmdSpec

Signature

Sourceval arb_cmds_triple : int -> int -> (Spec.cmd list * Spec.cmd list * Spec.cmd list) QCheck.arbitrary
Sourceval 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
Sourceval 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
Sourceval 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