ocaml-multicore / multicoretests

PBT testsuite and libraries for testing multicore OCaml
https://ocaml-multicore.github.io/multicoretests/
BSD 2-Clause "Simplified" License
37 stars 16 forks source link

Add STM_domain.stress_test_par test #462

Closed OlivierNicole closed 4 months ago

OlivierNicole commented 4 months ago

This is something that I found myself wanting for testing the concurrency-sensitive module Stdlib.Dynarray. The new function allows to get a more intensively parallel test without much additional effort, which helps to test for parallelism-related crashes.

OlivierNicole commented 4 months ago

Thank you for the review, I updated the PR accordingly.

jmid commented 4 months ago

CI summary: All 36 workflows passed :tada: Thanks again - I'll merge now

jmid commented 4 months ago

CI summary for merge to main: All 37 workflows passed :smiley: