Merge pull request #316 from ocaml-multicore/fix-STM_thread-rep_count

Fix rep_count in STM_thread
ocaml-multicore · Apr 13, 2023 · 0e91262 · 0e91262
2 parents 158b943 + 130a65f
commit 0e91262
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,8 @@
 
 ## Next version
 
+- #316: Fix `rep_count` in `STM_thread` so that negative and positive
+  tests repeat equally many times
 - #318: avoid repetitive interleaving searches in `STM_domain` and `STM_thread`
 - #312: Escape and quote `bytes` printed with `STM`'s `bytes` combinator
 - #295: ensure `cleanup` is run in the presence of exceptions in

diff --git a/lib/STM_thread.ml b/lib/STM_thread.ml
@@ -50,7 +50,7 @@ module Make (Spec: Spec) = struct
          repeat rep_count agree_prop_conc triple) (* 100 times each, then 100 * 15 times when shrinking *)
 
   let neg_agree_test_conc ~count ~name =
-    let rep_count = 25 in
+    let rep_count = 100 in
     let seq_len,par_len = 20,12 in
     let max_gen = 3*count in (* precond filtering may require extra generation: max. 3*count though *)
     Test.make_neg ~retries:15 ~max_gen ~count ~name