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.1.1.tar.gz
md5=897d5fda34450109e64ef2b589314d74
sha512=b93e998dbb6a48d9ced032a9fe54ecd5e092dbac911a815e0f5c565d0dbccc44277e6f56895a0d1df5d72fe32d18db61b1101f81f2fe4675f2e5a1b977ad4ef2

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: 09 Feb 2023

Dependencies (4)

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

Dev Dependencies (2)

  1. odoc with-doc
  2. ppx_deriving with-test & >= "5.2.1"

Used by

None

Conflicts

None