Ubuntu
ocaml-multicoretests package

ocaml-multicoretests 0.11-1build3 source package in Ubuntu

Changelog

ocaml-multicoretests (0.11-1build3) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 05 Jan 2026 18:25:25 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Resolute
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Resolute release universe misc

Downloads

File Size SHA-256 Checksum
ocaml-multicoretests_0.11.orig.tar.gz 192.9 KiB 370f4cc55549bbbd057aa1505752249db270cd737ba2e34c1e011f6d0ae65999
ocaml-multicoretests_0.11-1build3.debian.tar.xz 3.6 KiB 760fe6ab7a4b02ab4db1636fa1d1f7bc2a433f1f9a6e41aaf9f9a575b8bc4250
ocaml-multicoretests_0.11-1build3.dsc 2.4 KiB a1f21fc649d6663e24f8fc1e5d44180543855d544d3a41b4270612a9d599d114

View changes file

Binary packages built by this source

libmulticoretests-ocaml-dev: randomized test suite of the OCaml standard library

 Property-based tests of parts of the OCaml multicore
 compiler and run time.

libmulticoretests-ocaml-dev-dbgsym: debug symbols for libmulticoretests-ocaml-dev
libqcheck-lin-ocaml-dev: QCheck module testing sequential consistency

 Allows for testing an API for sequential consistency. I.e.
 it performs a sequence of random commands in parallel,
 records the results and checks whether the observed results
 can be liniarized and reconciled with some sequential
 execution. The library offers an embedded, combinator DSL
 to describe signatures succinctly.

libqcheck-lin-ocaml-dev-dbgsym: debug symbols for libqcheck-lin-ocaml-dev
libqcheck-multicoretests-util-ocaml-dev: QCheck helper functions for testing multicore programs

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

libqcheck-multicoretests-util-ocaml-dev-dbgsym: debug symbols for libqcheck-multicoretests-util-ocaml-dev
libqcheck-stm-ocaml-dev: QCheck module testing parallel state-machines

 STM contains a revision of qcstm extended to run parallel
 state-machine tests akin to Erlang QuickCheck, Haskell
 Hedgehog, ScalaCheck. To do so, the STM library performs a
 sequence of random operations in parallel and records the
 results. STM then checks whether the observed results are
 linearizable by reconciling them with a sequential
 execution of a model description. The model expresses the
 intended meaning of each tested command.

libqcheck-stm-ocaml-dev-dbgsym: debug symbols for libqcheck-stm-ocaml-dev