[ANN] qcheck-lin and qcheck-stm 0.2

Community
, ,
5

Version 0.7 of qcheck-lin, qcheck-stm, and qcheck-multicoretests-util is now available on the opam repository: Release 0.7 · ocaml-multicore/multicoretests · GitHub

This release contains two contributions from @polytypic, incl. an STM feature to help testing of cmds that may raise an effect:

  • #509: Change/Fix to use a symmetric barrier to synchronize domains
  • #511: Introduce extended specs to allow wrapping command sequences
  • #517: Add Lin combinators seq_small, array_small, and list_small

Happy testing! :smiley:

6 Likes