Run 2/5 champ only for slow

nickdrozd · Mar 27, 2024 · 56cc404 · 56cc404
1 parent 683a01a
commit 56cc404
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/test_turing.py b/test/test_turing.py
@@ -722,6 +722,9 @@ def _test_prover_est(self, prog_data: ProverEst):
             if prog in PROVER_FAILURES:
                 continue
 
+            if prog == champ_2_5 and not RUN_SLOW:
+                continue
+
             self.run_bb(
                 prog,
                 sim_lim = 10 ** 8,