全部搜尋項
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 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 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 [檔案列表]