eLxr packages [ bianca ]
[ Источник: ocaml-multicoretests ]
Пакет: libqcheck-stm-ocaml-dev (0.7-3 и другие)
Ссылки для libqcheck-stm-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 parallel state-machines
STM contains a revision of qcstm extended to run parallel state-machine tests akin to Erlang QuickCheck, Haskell Hedgehog, ScalaCheck. To do so, the STM library performs a sequence of random operations in parallel and records the results. STM then checks whether the observed results are linearizable by reconciling them with a sequential execution of a model description. The model expresses the intended meaning of each tested command.
Другие пакеты, относящиеся к libqcheck-stm-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-stm-ocaml-dev
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 321,5 Кб | 712,0 Кб | [список файлов] |
| arm64 | 0.7-3+b2 | 321,9 Кб | 857,0 Кб | [список файлов] |