From b3a036f5cd021136f5287bb14f1374f74982ba9e Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Thu, 13 Jul 2023 15:02:22 +0200 Subject: [PATCH] REMOVE ME: focus on src/sys/stm_tests --- dune | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/dune b/dune index 37f6e8b6..5b7f698e 100644 --- a/dune +++ b/dune @@ -16,8 +16,8 @@ (name ci) (package multicoretests) (deps - (alias_rec %{env:DUNE_CI_ALIAS=runtest}))) - ; (alias_rec focusedtest))) + ; (alias_rec %{env:DUNE_CI_ALIAS=runtest}))) + (alias_rec focusedtest))) (alias (name ci1) @@ -58,7 +58,7 @@ ; To change the test to repeat, change the source of the `copy`: (rule - (copy src/io/lin_tests_dsl_domain.exe focusedtest.exe)) + (copy src/sys/stm_tests.exe focusedtest.exe)) (rule (alias focusedtest) @@ -75,7 +75,7 @@ (write-file hoped "") (write-file failed-runs "") (bash - "for i in `seq 20`; do echo Starting $i-th run; if ! ./focusedtest.exe -v ; then echo $i >> failed-runs; fi; done") + "for i in `seq 10`; 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))))) @@ -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) 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)))))