Hardcode a known seed 251075488

ocaml-multicore · May 28, 2024 · 494bdad · 494bdad
1 parent 1f66afa
commit 494bdad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune b/dune
@@ -64,6 +64,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 -s 251075488 || echo %G >> failed-runs)")
     ; edit the previous line to focus on a particular seed
     (diff failed-runs hoped)))))