eLxr packages [ bianca ]
[ Fonte: ocaml-multicoretests ]
Pacote: libqcheck-lin-ocaml-dev (0.7-3 e outros)
Links para libqcheck-lin-ocaml-dev
Baixe o pacote-fonte ocaml-multicoretests:
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
Mantenedores(as):
Fontes externas:
- Pagina principal [github.com]
Pacotes similares:
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.
Outros pacotes relacionados a libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-ak3w4
- pacote virtual fornecido por libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8
- pacote virtual fornecido por libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9
- pacote virtual fornecido por libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- pacote virtual fornecido por ocaml
Download de libqcheck-lin-ocaml-dev
| Arquitetura | Versão | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390.9 kB | 845.0 kB | [lista de arquivos] |
| arm64 | 0.7-3+b2 | 393.7 kB | 1,047.0 kB | [lista de arquivos] |