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
andSTM_thread
by utilizingGc.Memprof
callbacks. Avoid on 5.0-5.2 withoutGc.Memprof
support. - #546: Speed up
Lin
’s defaultstring
andbytes
shrinkers. - #547: Add
Util.Pp.{cst4,cst5}
Happy testing!