Code

Utilize STM stress test#464

Code

Merged

jmid merged 6 commits intomainocaml-multicore/multicoretests:mainfrom stm-stress-test-utilizeocaml-multicore/multicoretests:stm-stress-test-utilizeCopy head branch name to clipboardJun 15, 2024

+40-8

Commits

Commits on Jun 11, 2024

• Extend public interface with stress_prop_par

  jmid

  committed
  c6f43e7

  Copy full SHA for c6f43e7

• Add STM Buffer stress test

  jmid

  committed
  cb14ccd

  Copy full SHA for cb14ccd

• Add STM Domain.DLS stress test

  jmid

  committed
  c4fa8dc

  Copy full SHA for c4fa8dc

• Add STM Sys stress test

  jmid

  committed
  5872ebc

  Copy full SHA for 5872ebc

• Add STM Weak stress test

  jmid

  committed
  d77d05a

  Copy full SHA for d77d05a

• Add STM Weak HashSet stress test

  jmid

  committed
  e8d85d5

  Copy full SHA for e8d85d5