ocaml-multicoretests 0.9-1 source package in Ubuntu
Changelog
ocaml-multicoretests (0.9-1) unstable; urgency=medium * Team upload * New upstream release * Fix typo in Homepage -- Stéphane Glondu <email address hidden> Fri, 15 Aug 2025 07:45:18 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Questing | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| ocaml-multicoretests_0.9-1.dsc | 2.2 KiB | bf69d1416d588d0c6b9c269fd0df58a17778018e1550420288419a2736571b10 |
| ocaml-multicoretests_0.9.orig.tar.gz | 192.8 KiB | 3a5f0e15dddabc38eee1e72cfb209cfe9734864b137f95af2dea33e733c03141 |
| ocaml-multicoretests_0.9-1.debian.tar.xz | 3.5 KiB | 7455074ee41d61f0ba798c777dcdcb529fcfcc199c35166f9c20aad0f259f05b |
Available diffs
- diff from 0.7-3build2 (in Ubuntu) to 0.9-1 (24.7 KiB)
No changes file available.
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
