[ ソース: ocaml-multicoretests ]
パッケージ: libqcheck-lin-ocaml-dev (0.9-1)
libqcheck-lin-ocaml-dev に関するリンク
Debian の資源:
ocaml-multicoretests ソースパッケージをダウンロード:
- [ocaml-multicoretests_0.9-1.dsc]
- [ocaml-multicoretests_0.9.orig.tar.gz]
- [ocaml-multicoretests_0.9-1.debian.tar.xz]
メンテナ:
外部の資源:
- ホームページ [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-45tx8 [armhf, i386]
- 以下のパッケージによって提供される仮想パッケージです: libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-ak3w4 [armhf, i386, s390x 以外]
- 以下のパッケージによって提供される仮想パッケージです: libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-qvry2 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-czih2 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-f78d7 [armhf, i386, s390x 以外]
- 以下のパッケージによって提供される仮想パッケージです: libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-gfa12 [armhf, i386]
- 以下のパッケージによって提供される仮想パッケージです: libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [armhf, i386, s390x 以外]
- 以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armhf, i386]
- 以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- 以下のパッケージによって提供される仮想パッケージです: ocaml
libqcheck-lin-ocaml-dev のダウンロード
アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|
amd64 | 403.2 kB | 864.0 kB | [ファイル一覧] |
arm64 | 404.8 kB | 1,065.0 kB | [ファイル一覧] |
armhf | 343.3 kB | 454.0 kB | [ファイル一覧] |
i386 | 343.3 kB | 454.0 kB | [ファイル一覧] |
ppc64el | 409.1 kB | 1,107.0 kB | [ファイル一覧] |
riscv64 | 427.5 kB | 1,202.0 kB | [ファイル一覧] |
s390x | 400.9 kB | 860.0 kB | [ファイル一覧] |