Code

Weak test revisions#365

Code

Merged

jmid merged 9 commits intomainocaml-multicore/multicoretests:mainfrom weak-hashset-predictableocaml-multicore/multicoretests:weak-hashset-predictableCopy head branch name to clipboardJun 13, 2023

+109-137

Commits

Commits on Jun 9, 2023

• Revise src/weak/stm_tests_hashset.ml

  Show description for 066f6a3
  jmid

  committed
  066f6a3

  Copy full SHA for 066f6a3

• Disable meaningless src/weak/lin_tests_dsl_hashset.ml Lin test

  jmid

  committed
  5d11dba

  Copy full SHA for 5d11dba

• Similarly revise src/weak/stm_tests.ml

  Show description for 4a54073
  jmid

  committed
  4a54073

  Copy full SHA for 4a54073

• Disable src/weak/lin_tests_dsl too

  jmid

  committed
  b150273

  Copy full SHA for b150273

• Increase negative test count

  jmid

  committed
  9bd79ac

  Copy full SHA for 9bd79ac

• Support Weak Hashset test on OCaml5 too

  jmid

  committed
  720028c

  Copy full SHA for 720028c

Commits on Jun 12, 2023

• Shadow Int64.hash work-around for OCaml 5.1+

  jmid

  committed
  9b85211

  Copy full SHA for 9b85211

• Remove Weak Lin tests

  jmid

  committed
  e24cf47

  Copy full SHA for e24cf47

• Disable unused hash error on OCaml 5.1+

  jmid

  committed
  f3d0160

  Copy full SHA for f3d0160