全部搜索项
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 [文件列表]