全部搜索项
bianca  ]
[ 源代码: ocaml-multicoretests  ]

软件包:libqcheck-lin-ocaml-dev(0.7-3 以及其他的)

libqcheck-lin-ocaml-dev 的相关链接

Screenshot

下载源码包 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 0.7-3+b2 390.9 kB845.0 kB [文件列表]
arm64 0.7-3+b2 393.7 kB1,047.0 kB [文件列表]