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

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

Authors

Maintainers

J

Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.9.tar.gz

md5=ce75e64a125c5593d8e3c91752406067

sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

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-project Dependency

Authors

Maintainers

Sources

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

Module Internal.MakeSource

Parameters

Signature

dune-project
Dependency

Module `Internal.Make`Source