Package: libqcheck-stm-ocaml-dev
Source: ocaml-multicoretests
Version: 0.10-1
Architecture: mips64el
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 376
Depends: libqcheck-core-ocaml-dev-3tgk0, libqcheck-multicoretests-util-ocaml-dev-gfa12, libstdlib-ocaml-dev-ye7o9, ocaml-5.3.0
Provides: libqcheck-stm-ocaml-dev-qb2b1
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.
