Package: libqcheck-lin-ocaml-dev
Source: ocaml-multicoretests
Version: 0.9-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1068
Depends: libqcheck-core-ocaml-dev-ak3w4, libqcheck-multicoretests-util-ocaml-dev-f78d7, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Provides: libqcheck-lin-ocaml-dev-0ubt6
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.
