Package: libqcheck-lin-ocaml-dev
Source: ocaml-multicoretests
Version: 0.10-1
Architecture: amd64
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 869
Depends: libqcheck-core-ocaml-dev-dfwb9, libqcheck-multicoretests-util-ocaml-dev-he163, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Provides: libqcheck-lin-ocaml-dev-izjn8
Section: ocaml
Priority: optional
Homepage: https://github.com/ocaml-multicore/multicoretests
Description: 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.
