package qcheck-lin

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

doc/qcheck-lin.effect/Lin_effect/Make/index.html

Module Lin_effect.MakeSource

Functor to build a module for Effect-based testing

  • alert experimental This module is experimental: The interface is not considered stable, and it may fail to trigger concurrency issues that are present.

Parameters

module Spec : Lin.Spec

Signature

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

lin_test ~count:c ~name:n builds an Stdlib.Effect-based 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.

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

neg_lin_test ~count:c ~name:n builds a negative Stdlib.Effect-based 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.

OCaml

Innovation. Community. Security.