[ Source: ocaml-multicoretests ]
Package: libqcheck-stm-ocaml-dev (0.9-1 and others)
Links for libqcheck-stm-ocaml-dev
Debian Resources:
Download Source Package ocaml-multicoretests:
- [ocaml-multicoretests_0.9-1.dsc]
- [ocaml-multicoretests_0.9.orig.tar.gz]
- [ocaml-multicoretests_0.9-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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.
Other Packages Related to libqcheck-stm-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-3tgk0 [armhf, i386]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-6sjm4 [s390x]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-dfwb9 [not armhf, i386, s390x]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-bbgo5 [s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-gfa12 [armhf, i386]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-he163 [not armhf, i386, s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [not armhf, i386, s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armhf, i386]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtual package provided by ocaml
Download libqcheck-stm-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.9-1+b1 | 324.7 kB | 717.0 kB | [list of files] |
| arm64 | 0.9-1+b1 | 325.9 kB | 865.0 kB | [list of files] |
| armhf | 0.9-1+b1 | 274.5 kB | 377.0 kB | [list of files] |
| i386 | 0.9-1+b1 | 274.4 kB | 377.0 kB | [list of files] |
| ppc64el | 0.9-1+b1 | 328.8 kB | 894.0 kB | [list of files] |
| riscv64 | 0.9-1+b1 | 343.4 kB | 976.0 kB | [list of files] |
| s390x | 0.9-1+b1 | 322.9 kB | 715.0 kB | [list of files] |