Package: libqcheck-stm-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: 1110
Depends: libqcheck-core-ocaml-dev-ie7n3, libqcheck-multicoretests-util-ocaml-dev-k6pb2, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1
Provides: libqcheck-stm-ocaml-dev-3z694
Section: ocaml
Priority: optional
Homepage: https://github.com/ocaml-multicore/multicoretests
Description: QCheck module testing parallel state-machines
 STM contains a revision of qcstm extended to run parallel
 state-machine tests akin to Erlang QuickCheck, Haskell
 Hedgehog, ScalaCheck. To do so, the STM library performs a
 sequence of random operations in parallel and records the
 results. STM then checks whether the observed results are
 linearizable by reconciling them with a sequential
 execution of a model description. The model expresses the
 intended meaning of each tested command.
