eLxr packages [ bianca ]
[ Источник: ocaml-multicoretests ]
Пакет: libqcheck-lin-ocaml-dev (0.7-3 и другие)
Ссылки для libqcheck-lin-ocaml-dev
Исходный код ocaml-multicoretests:
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
Сопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
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
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-ak3w4
- виртуальный пакет, предоставляемый libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8
- виртуальный пакет, предоставляемый libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- виртуальный пакет, предоставляемый ocaml
Загрузка libqcheck-lin-ocaml-dev
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390,9 Кб | 845,0 Кб | [список файлов] |
| arm64 | 0.7-3+b2 | 393,7 Кб | 1 047,0 Кб | [список файлов] |