Ubuntu
ocaml-multicoretests package

ocaml-multicoretests 0.11-1build1 source package in Ubuntu

Changelog

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

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 03 Dec 2025 10:56:18 +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

Downloads

File Size SHA-256 Checksum
ocaml-multicoretests_0.11.orig.tar.gz 192.9 KiB 370f4cc55549bbbd057aa1505752249db270cd737ba2e34c1e011f6d0ae65999
ocaml-multicoretests_0.11-1build1.debian.tar.xz 3.6 KiB 9798b627e010e323d6cab0087bbf23ce792be54c3e12f4360fbe47509a8ef67a
ocaml-multicoretests_0.11-1build1.dsc 2.4 KiB c82823a5be95a1cc617677c609abc3fa3d8b45baea8fb87d46a48040e5b1b817

Available diffs

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