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: libstdlib-ocaml-dev-m4xw9
- 本虛擬套件由這些套件填實： libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- 本虛擬套件由這些套件填實： ocaml