すべてのオプション
trixie  ] [  forky  ] [  sid  ]
[ ソース: ocaml-multicoretests  ]

パッケージ: libqcheck-lin-ocaml-dev (0.9-1)

libqcheck-lin-ocaml-dev に関するリンク

Screenshot

Debian の資源:

ocaml-multicoretests ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

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 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libqcheck-lin-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 403.2 kB864.0 kB [ファイル一覧]
arm64 404.8 kB1,065.0 kB [ファイル一覧]
armhf 343.3 kB454.0 kB [ファイル一覧]
i386 343.3 kB454.0 kB [ファイル一覧]
ppc64el 409.1 kB1,107.0 kB [ファイル一覧]
riscv64 427.5 kB1,202.0 kB [ファイル一覧]
s390x 400.9 kB860.0 kB [ファイル一覧]