package qcheck-multicoretests-util

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

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 small library of utility functions for QCheck-based testing of multicore programs.

Tags

test property qcheck quickcheck multicore non-determinism

Published: 02 Jun 2023

Dependencies (3)

  1. qcheck-core >= "0.20"
  2. ocaml >= "4.12"
  3. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by (4)

  1. domainslib >= "0.5.1"
  2. ortac-qcheck-stm
  3. qcheck-lin = "0.2"
  4. qcheck-stm = "0.2"

Conflicts

None