package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package qcheck-lin

qcheck-lin
- Library qcheck-lin.domain
  - Lin_domain
    
    Make_internal
    
    Make
- Library qcheck-lin.effect
  - Lin_effect
    
    Make_internal
    
    EffSpec
    
    Make
- Library qcheck-lin.lin
  - Lin
    
    Internal
    
    CmdSpec
    
    Make
    
    Fun
    
    Spec
    
    MakeCmd
- Library qcheck-lin.thread
  - Lin_thread
    
    Make_internal
    
    Make
- Sources
  - qcheck-lin.domain
    
    lin_domain.ml
  - qcheck-lin.effect
    
    lin_effect.ml
  - qcheck-lin.lin
    
    lin.ml
  - qcheck-lin.thread
    
    lin_thread.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

package qcheck-lin

Module Internal.MakeSource

Parameters

Signature

Module `Internal.Make`Source