package qcheck-multicoretests-util

  1. Overview
  2. Docs
Various utility functions for property-based testing of multicore programs

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

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.10.tar.gz
md5=ed5980f1cfbfa1e2d2ec5a87954dddf8
sha512=90c451903adb7cbd83aa0f2ad7738d662edc23affb669ed762564cdb2e140ca931afeaabc199fbb6028163fc41c17049961bef7fd2664c677cb1df552d10736d

Description

A small library of utility functions for QCheck-based testing of multicore programs.

Tags

test property qcheck quickcheck multicore non-determinism

Published: 07 Oct 2025

Dependencies (3)

  1. qcheck-core >= "0.25"
  2. ocaml >= "4.12"
  3. dune >= "3.18"

Dev Dependencies (1)

  1. odoc with-doc

Used by (8)

  1. domainslib >= "0.5.1"
  2. ortac-qcheck-stm < "0.6.1"
  3. picos < "0.5.0"
  4. picos_meta
  5. qcheck-lin >= "0.10"
  6. qcheck-stm >= "0.10"
  7. saturn >= "1.0.0"
  8. saturn_lockfree >= "0.5.0"

Conflicts

None