eLxr packages [ bianca ]
[ Bron: ocaml-multicoretests ]
Pakket: libqcheck-lin-ocaml-dev (0.7-3 en anderen)
Verwijzigingen voor libqcheck-lin-ocaml-dev
Het bronpakket ocaml-multicoretests downloaden:
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
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.
Andere aan libqcheck-lin-ocaml-dev gerelateerde pakketten
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-ak3w4
- virtueel pakket geboden door libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8
- virtueel pakket geboden door libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- virtueel pakket geboden door libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtueel pakket geboden door ocaml