Increase repetition count

ocaml-multicore · Aug 13, 2024 · 575c001 · 575c001
1 parent 352f7bc
commit 575c001
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune b/dune
@@ -49,7 +49,7 @@
     (write-file hoped "")
     (write-file failed-runs "")
     (bash
-     "for i in `seq 250`; do echo Starting $i-th run; if ! ./focusedtest.exe -v ; then echo $i >> failed-runs; fi; done")
+     "for i in `seq 500`; do echo Starting $i-th run; if ! ./focusedtest.exe -v ; then echo $i >> failed-runs; fi; done")
     ; edit the previous line to focus on a particular seed
     (diff failed-runs hoped)))))