package qcheck-multicoretests-util

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

Install

Authors

Maintainers

Sources

0.3.tar.gz
md5=5d37b4c26c0cdca6ea68aedde8676bbf
sha512=32e1808e6228df93c2f017259dbb70cd7c8b399a07b04d2e1a84e1d729fb5c478bf706bfc3ec342d160011c990f1520c43ff9a8cd13dd718eec8399a31618d6e

Description

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

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.3"
  4. qcheck-stm >= "0.3"

Conflicts

None