[ANN] qcheck-lin and qcheck-stm 0.2

Version 0.8 of qcheck-lin, qcheck-stm, and qcheck-multicoretests-util was just merged on the opam repository: Release 0.8 · ocaml-multicore/multicoretests · GitHub

The 0.8 release improves the error finding ability of the Lin_thread and STM_thread modes:

  • #540: Significantly increase the probability of context switching in Lin_thread and STM_thread by utilizing Gc.Memprof callbacks. Avoid on 5.0-5.2 without Gc.Memprof support.
  • #546: Speed up Lin’s default string and bytes shrinkers.
  • #547: Add Util.Pp.{cst4,cst5}

Happy testing! :smiley:

2 Likes