From 558d03d34ae215dd53c3d3cb09507ac4f3e7545d Mon Sep 17 00:00:00 2001
From: Nick Drozd <nicholasdrozd@gmail.com>
Date: Thu, 24 Aug 2023 20:33:57 -0400
Subject: [PATCH] Update rule limit test macro search range

---
 test/test_turing.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/test_turing.py b/test/test_turing.py
index e0f926a1..a34eae3a 100644
--- 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