eLxr packages [ bianca ]
[ Pakiet źródłowy: ocaml-multicoretests ]
Pakiet: libqcheck-lin-ocaml-dev (0.7-3 i inne)
Odnośniki dla libqcheck-lin-ocaml-dev
Pobieranie pakietu źródłowego ocaml-multicoretests:
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Inne pakiety związane z libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-ak3w4
- pakiet wirtualny udostępniany przez libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8
- pakiet wirtualny udostępniany przez libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- pakiet wirtualny udostępniany przez ocaml
Pobieranie libqcheck-lin-ocaml-dev
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390,9 KiB | 845,0 KiB | [lista plików] |
| arm64 | 0.7-3+b2 | 393,7 KiB | 1 047,0 KiB | [lista plików] |