Utilize STM stress test

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

Utilize STM stress test #464

Closed jmid closed 3 months ago

jmid commented 3 months ago

This PR extends the existing test suite to utilize the newly added STM stress tests from #462 by triggering them for modules where we presently only have an STM spec (and no Lin one):

Buffer
Domain.DLS
Weak
Weak Hashsets

To start off the Domain.DLS tests in a known good state (a fresh child Domain) the PR exposes STM_domain.stress_prop_par as a parallel to STM_domain.stress_test_par. For the latter, I realize I've tried to follow an unstated naming convention (s/test/prop/)

jmid commented 3 months ago

CI summary: all 36 workflows passed! :tada:

jmid commented 2 months ago

CI summary for merge to main:

32bit trunk crashed in STM Domain.DLS test sequential with a segfault #446

Out of 37 workflows 1 failed with a genuine error