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