Updated knight output

harmonylang · Feb 21, 2025 · a4589a7 · a4589a7
1 parent 0b52e46
commit a4589a7
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/runall.py b/runall.py
@@ -78,12 +78,12 @@
     # { "args": "-o file.hfa code/file_btest.hny", "issue": "No issues", "nstates": 36887 },
     # { "args": "-B file.hfa -m file=file_inode code/file_btest.hny", "issue": "No issues", "nstates": 43554096 },
     { "args": "code/trap.hny", "issue": "No issues", "nstates": 8 },
-    # { "args": "code/trap2.hny", "issue": "Safety violation", "nstates": 21 },
-    # { "args": "code/trap3.hny", "issue": "Non-terminating state", "nstates": 11 },
-    # { "args": "code/trap4.hny", "issue": "No issues", "nstates": 16 },
-    # { "args": "code/trap5.hny", "issue": "No issues", "nstates": 16 },
-    # { "args": "code/trap6.hny", "issue": "No issues", "nstates": 386 },
-    # { "args": "-msynch=synchS code/trap6.hny", "issue": "No issues", "nstates": 554 },
+    { "args": "code/trap2.hny", "issue": "Safety violation", "nstates": 21 },
+    { "args": "code/trap3.hny", "issue": "Non-terminating state", "nstates": 11 },
+    { "args": "code/trap4.hny", "issue": "No issues", "nstates": 16 },
+    { "args": "code/trap5.hny", "issue": "No issues", "nstates": 16 },
+    { "args": "code/trap6.hny", "issue": "No issues", "nstates": 386 },
+    { "args": "-msynch=synchS code/trap6.hny", "issue": "No issues", "nstates": 554 },
     { "args": "code/hw.hny", "issue": "No issues", "nstates": 23864 },
     { "args": "code/abptest.hny", "issue": "No issues", "nstates": 673 },
     { "args": "code/leader.hny", "issue": "No issues", "nstates": 33005 },