Merge pull request #372 from ocaml-multicore/weak-hashset-adjustment

Weak hashset adjustment
ocaml-multicore · Jul 11, 2023 · de0d268 · de0d268
2 parents ec598c6 + 60b5b4c
commit de0d268
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune b/dune
@@ -94,6 +94,6 @@
     (write-file hoped "")
     (write-file failed-runs "")
     (run cmd /q /c
-     "for %G in (1,2,3,4, 5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20) do (echo Starting %G-th run && focusedtest.exe -v || echo %G >> failed-runs)")
+     "for %G in (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20) do (echo Starting %G-th run && focusedtest.exe -v || echo %G >> failed-runs)")
     ; edit the previous line to focus on a particular seed
     (diff failed-runs hoped)))))
diff --git a/src/weak/stm_tests_hashset.ml b/src/weak/stm_tests_hashset.ml
@@ -185,5 +185,5 @@ let status_seq =
 let () = Gc.full_major ()
 let status_par =
   run_tests
-    [ WeakHashsetSTM_dom.neg_agree_test_par ~count:2000 ~name:"STM Weak HashSet test parallel" ]
+    [ WeakHashsetSTM_dom.neg_agree_test_par ~count:5000 ~name:"STM Weak HashSet test parallel" ]
 let _ = exit (if status_seq=0 && status_par=0 then 0 else 1)