package qcheck-lin

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

Install

github.com Readme Changelog BSD-2-clause License Edit opam file

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.2.tar.gz
md5=d3d214d0a5c0d9f191a58be165151e27
sha512=cf7bef79ae7eec15e0cdf9d93cb0fe07e5f75dd3d8da825c509132119289fab9b13976bc61ea033246074caa22c0ef45f7522487e5feadf47ca30db3de995253

Description

A testing library based on QCheck to test interface behaviour under parallel usage. Lin will generate and run random parallel tests and check the observed behaviour for sequential consistency, that is, whether they can be linearized and explained by some sequential interleaving.

Tags

test property qcheck quickcheck parallelism sequential consistency

Published: 02 Jun 2023

Dependencies (4)

  1. qcheck-multicoretests-util = version
  2. qcheck-core >= "0.20"
  3. ocaml >= "4.12"
  4. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None