Add reason halt cases

nickdrozd · Sep 3, 2024 · e3b603e · e3b603e
1 parent 4f9a793
commit e3b603e
Showing 1 changed file with 34 additions and 0 deletions.
diff --git a/test/prog_data.py b/test/prog_data.py
@@ -1005,11 +1005,45 @@
 
 CANT_REACH_STEPS: dict[str, dict[str, int]] = {
     "halt": {
+        "1RB 2RB 3RB 4RB 0LA  1LA 2LA 3LA 4LA ...": 9,
+        "1RB 2RB 3RB 4RB 0LA  1LA 2LA 4LA ... 3LA": 9,
+        "1RB 2RB 3RB 4RB 0LA  1LA 3LA ... 4LA 2LA": 9,
+        "1RB 2RB 3RB 4RB 0LA  1LA 3LA 4LA 2LA ...": 9,
+        "1RB 2RB 3RB 4RB 0LA  2LA ... 3LA 4LA 1LA": 9,
+        "1RB 2RB 3RB 4RB 0LA  2LA 3LA 1LA 4LA ...": 9,
+        "1RB 2RB 3RB 4RB 0LA  2LA 4LA 1LA ... 3LA": 9,
+        "1RB 2RB 3RB 4RB 0LA  2LA 4LA 3LA 1LA ...": 9,
+        "1RB 2RB 4RB 0LA 3RB  1LA 3LA ... 4LA 2LA": 9,
+        "1RB 2RB 4RB 0LA 3RB  1LA 3LA 4LA 2LA ...": 9,
+        "1RB 2RB 4RB 0LA 3RB  2LA ... 3LA 4LA 1LA": 9,
+        "1RB 2RB 4RB 0LA 3RB  2LA 4LA 3LA 1LA ...": 9,
+        "1RB 3RB 0LA 4RB 2RB  2LA ... 3LA 4LA 1LA": 9,
+        "1RB 3RB 0LA 4RB 2RB  2LA ... 4LA 1LA 3LA": 9,
+        "1RB 3RB 0LA 4RB 2RB  2LA 3LA 1LA 4LA ...": 9,
+        "1RB 3RB 0LA 4RB 2RB  2LA 3LA 4LA ... 1LA": 9,
+        "1RB 3RB 0LA 4RB 2RB  2LA 4LA 1LA ... 3LA": 9,
+        "1RB 3RB 0LA 4RB 2RB  2LA 4LA 3LA 1LA ...": 9,
+        "1RB 3RB 4RB 2RB 0LA  2LA ... 3LA 4LA 1LA": 9,
+        "1RB 3RB 4RB 2RB 0LA  2LA ... 4LA 1LA 3LA": 9,
+        "1RB 3RB 4RB 2RB 0LA  2LA 3LA 1LA 4LA ...": 9,
+        "1RB 3RB 4RB 2RB 0LA  2LA 3LA 4LA ... 1LA": 9,
+        "1RB 3RB 4RB 2RB 0LA  2LA 4LA 1LA ... 3LA": 9,
+        "1RB 3RB 4RB 2RB 0LA  2LA 4LA 3LA 1LA ...": 9,
+
         "1RB 0RB  0RC 1LD  1LD ...  0LD 0RA": 40,
         "1RB 0LA  0RC 1RC  1RD 1LA  1LA ...": 40,
         "1RB 0RB  1RC 1LD  1LA ...  0LD 0RA": 46,
         "1RB 0LA  0RC 1RC  1RD 1LA  1LB ...": 46,
 
+        "1RB 0LA 0RB  2RC 1RC 1LA  1LA 2LA ...": 50,
+        "1RB 0LA 0RB  2RC 2LA 1RC  2LA ... 1LA": 50,
+        "1RB 0RB 1LC  1LC 2LC ...  0LC 2RA 0RA": 50,
+        "1RB 2LC 0RB  2LC ... 1LC  0LC 2RA 0RA": 50,
+        "1RB 2LC 2RB  2LC ... 1LC  2RA 0RA 0LC": 50,
+        "1RB 2RB 0LA  0RC 2LA 2RC  2LA ... 1LA": 50,
+        "1RB 2RB 0LA  0RC 2RC 1LA  1LA 2LA ...": 50,
+        "1RB 2RB 1LC  1LC 2LC ...  2RA 0RA 0LC": 50,
+
         "1RB ...  1RC 1LC  1LD 0RE  0RA 0LD  0LB 1RE": 105,
         "1RB 0LA  0RC 1RC  1RD 1LA  1RE 1LB  1LB ...": 107,
         "1RB 0LA  0RC 1RC  1RD 1LA  0RE 1LB  1LC ...": 115,