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 кБ | [списък на файловете] |