Package: libqcheck-lin-ocaml-dev
Source: ocaml-multicoretests
Version: 0.10-1
Architecture: s390x
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 865
Depends: libqcheck-core-ocaml-dev-6sjm4, libqcheck-multicoretests-util-ocaml-dev-bbgo5, libstdlib-ocaml-dev-2d5j3, ocaml-5.3.0
Provides: libqcheck-lin-ocaml-dev-esz79
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.
