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.domain
- Lin_domain
  - Make
    
    Spec
  - Make_internal
    
    Spec
qcheck-lin.effect
- Lin_effect
  - Make
    
    Spec
  - Make_internal
    
    EffSpec
    
    Spec
qcheck-lin.lin
- Lin
  - Fun
  - Internal
    
    CmdSpec
    
    Make
    
    Spec
  - MakeCmd
    
    Spec
  - Spec
qcheck-lin.thread
- Lin_thread
  - Make
    
    Spec
  - Make_internal
    
    Spec

Legend:
Library
Module
Module type
Parameter
Class
Class type

functor to build a module for concurrent testing

alert experimental This module is experimental: It may fail to trigger concurrency issues that are present.

Parameters

module Spec : Lin.Spec

Signature

val lin_test : count:int -> name:string -> QCheck.Test.t

lin_test ~count:c ~name:n builds a concurrent test with the name n that iterates c times. The test fails if one of the generated programs is not sequentially consistent. In that case it fails, and prints a reduced counter example.

val neg_lin_test : count:int -> name:string -> QCheck.Test.t

neg_lin_test ~count:c ~name:n builds a negative concurrent test with the name n that iterates c times. The test fails if no counter example is found, and succeeds if a counter example is indeed found, and prints it afterwards.