ocaml-multicoretests 0.7-1build2 source package in Ubuntu
Changelog
ocaml-multicoretests (0.7-1build2) plucky; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 17 Mar 2025 00:18:19 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Plucky
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Plucky | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| ocaml-multicoretests_0.7.orig.tar.gz | 188.2 KiB | 5adf9cf2445141256f280d40e3e08b9cad2fe56123887bdf28264c89093eff65 |
| ocaml-multicoretests_0.7-1build2.debian.tar.xz | 3.4 KiB | 4227ef8de126a584ce3b3948191b729965028d61eb050e9723919768abef76cc |
| ocaml-multicoretests_0.7-1build2.dsc | 2.4 KiB | cc075125394d271a992b4252ccb10a55e6b12f924bc0ef2c84aaf77d926a7998 |
Available diffs
- diff from 0.7-1build1 to 0.7-1build2 (323 bytes)
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
