Update rule limit test macro search range

nickdrozd · Aug 25, 2023 · 558d03d · 558d03d
1 parent 4278619
commit 558d03d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/test_turing.py b/test/test_turing.py
@@ -734,7 +734,7 @@ def test_rule_limit(self):
                 prog,
                 print_prog = prog not in PROVER_FAILURES,
                 normal = False,
-                opt_macro = 120,
+                opt_macro = 1600,
             )
 
             (self.assertIsNone