eLxr packages [ bianca ]
[ Paquet source : ocaml-multicoretests ]
Paquet : libqcheck-lin-ocaml-dev (0.7-3 et autres)
Liens pour libqcheck-lin-ocaml-dev
Télécharger le paquet source ocaml-multicoretests :
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
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.
Autres paquets associés à libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-ak3w4
- paquet virtuel fourni par libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8
- paquet virtuel fourni par libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- paquet virtuel fourni par libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- paquet virtuel fourni par ocaml
Télécharger libqcheck-lin-ocaml-dev
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390,9 ko | 845,0 ko | [liste des fichiers] |
| arm64 | 0.7-3+b2 | 393,7 ko | 1 047,0 ko | [liste des fichiers] |