[ Quellcode: ocaml-multicoretests ]
Paket: libqcheck-lin-ocaml-dev (0.7-3 und andere)
Links für libqcheck-lin-ocaml-dev
Debian-Ressourcen:
Quellcode-Paket ocaml-multicoretests herunterladen:
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-45tx8 [armel, armhf, i386]
- virtuelles Paket, bereitgestellt durch libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-ak3w4 [amd64, arm64, ppc64el, riscv64]
- virtuelles Paket, bereitgestellt durch libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-qvry2 [s390x]
- virtuelles Paket, bereitgestellt durch libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8 [amd64, arm64, ppc64el, riscv64]
- virtuelles Paket, bereitgestellt durch libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-ue1k5 [s390x]
- virtuelles Paket, bereitgestellt durch libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-vr0q9 [armel, armhf, i386]
- virtuelles Paket, bereitgestellt durch libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [amd64, arm64, ppc64el, riscv64]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armel, armhf, i386]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtuelles Paket, bereitgestellt durch ocaml
libqcheck-lin-ocaml-dev herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390,9 kB | 845,0 kB | [Liste der Dateien] |
| arm64 | 0.7-3+b2 | 393,7 kB | 1.047,0 kB | [Liste der Dateien] |
| armel | 0.7-3+b2 | 332,8 kB | 443,0 kB | [Liste der Dateien] |
| armhf | 0.7-3+b2 | 332,8 kB | 443,0 kB | [Liste der Dateien] |
| i386 | 0.7-3+b2 | 332,8 kB | 443,0 kB | [Liste der Dateien] |
| ppc64el | 0.7-3+b2 | 396,3 kB | 1.088,0 kB | [Liste der Dateien] |
| riscv64 | 0.7-3+b2 | 413,9 kB | 1.174,0 kB | [Liste der Dateien] |
| s390x | 0.7-3+b2 | 388,7 kB | 839,0 kB | [Liste der Dateien] |