package qcheck-multicoretests-util

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

Install

Dune Dependency

github.com Readme Changelog BSD-2-clause License Edit opam file Versions (4)

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

CHANGES.md.html

Changes

0.1.1

  • #263: Cleanup resources after each domain-based Lin test

  • #281: Escape and quote strings printed with STM's string combinator

0.1

The initial opam release of qcheck-lin, qcheck-stm, and qcheck-multicoretests-util.

The multicoretests package is not released on opam, as it is of limited use to OCaml developers.