libqcheck-stm-ocaml-dev - 0.7-3+b1 main

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.

Priority: optional
Section: ocaml
Suites: landing 
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
 
Homepage Source Package
 

Dependencies

  • libqcheck-core-ocaml-dev-lpbb8
  • libqcheck-multicoretests-util-ocaml-dev-pkdk0
  • libstdlib-ocaml-dev-fxjy5
  • ocaml-5.3.0

Installed Size: 877.6 kB
Architectures: amd64  arm64 

 

Versions

0.7-3+b1 arm64 0.7-3+b1 amd64 0.7-3 arm64 0.7-3 amd64