Package: libqcheck-lin-ocaml-dev
Source: ocaml-multicoretests
Version: 0.11-1build5
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1391
Depends: libqcheck-core-ocaml-dev-ie7n3, libqcheck-multicoretests-util-ocaml-dev-k6pb2, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1
Provides: libqcheck-lin-ocaml-dev-odtz1
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.
