multicoretests
multicoretests copied to clipboard
ocaml-multicore
PBT testsuite and libraries for testing multicore OCaml
OCaml 5 has (had) issues with signals and signals handlers, e.g., https://github.com/ocaml/ocaml/issues/12253 and https://github.com/ocaml/ocaml/issues/13189 It would therefore make sense to enhance the test suite with a test exercising these runtime...
Using `Dynlink` in parallel may currently cause deadlocks or crashes #307 To avoid the noise from parallel tests continuing to fail, they were temporarily disabled on Windows in #453 and...
Some parallelism bugs may only show up with 3 parallel processes, see, e.g., Sec.4 of "Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane" https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quviq-testing.pdf To have a chance...
The nightly runs triggered a test failure on Linux 5.1 on `STM Out_channel test parallel` https://github.com/ocaml-multicore/multicoretests/actions/runs/11992644802/job/33432727512 ``` random seed: 491672939 generated error fail pass / total time test name [...
As part of carving a reproducer for #444, I realized that its string and bytes generators could be refined to have a bigger chance of producing strings stressing the channel...
Metadata
Owner
Metadata
PBT testsuite and libraries for testing multicore OCaml