Add excessive diff check

nickdrozd · Jul 25, 2023 · 0c79dfe · 0c79dfe
1 parent 47844a3
commit 0c79dfe
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/setup.cfg b/setup.cfg
@@ -46,7 +46,7 @@ good-names = maxDiff, pr, sh, tr, st, co, i, k, s
 [pylint.DESIGN]
 max-args           =  7  # c
 max-locals         = 18  # tape
-max-returns        =  5  # prover
+max-returns        =  6  # prover
 max-branches       = 21  # tape
 max-complexity     = 21  # machine
 max-attributes     = 18  # machine

diff --git a/test/prog_data.py b/test/prog_data.py
@@ -1335,7 +1335,7 @@
 
 PROVER_HALT: ProverEst = {
     # 2/5
-    # "1RB 2LB 4LB 3LA 1R_  1LA 3RA 3LB 0LB 0RA": (7.3, 19016),
+    "1RB 2LB 4LB 3LA 1R_  1LA 3RA 3LB 0LB 0RA": (7.3, 19016),
     "1RB 2LA 1RA 2LB 2LA  0LA 2RB 3RB 4RA 1R_": (1.7, 352),
     "1RB 2LA 4RA 2LB 2LA  0LA 2RB 3RB 4RA 1R_": (5.2, 105),
     "1RB 2LA 4RA 2LB 2LA  0LA 2RB 3RB 1RA 1R_": (5.2, 105),

diff --git a/tm/prover.py b/tm/prover.py
@@ -134,6 +134,9 @@ def try_rule(
         if (deltas := states[state].next_deltas(cycle)) is None:
             return None
 
+        if any(delta > 10_000 for delta in deltas):
+            return None
+
         tags: TagTape = tape.to_tag()
 
         counts = []