New runall

harmonylang · Mar 27, 2024 · b21f35e · b21f35e
1 parent 1742f36
commit b21f35e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/runall.py b/runall.py
@@ -71,8 +71,8 @@
     { "args": "-msynch=synchS code/barrier_test1.hny", "issue": "No issues", "nstates": 7425 },
     { "args": "code/barrier_test2.hny", "issue": "No issues", "nstates": 5711 },
     { "args": "-msynch=synchS code/barrier_test2.hny", "issue": "No issues", "nstates": 16511 },
-    # { "args": "-o file.hfa code/file_btest.hny", "issue": "No issues", "nstates": 5593 },
-    # { "args": "-B file.hfa -m file=file_inode code/file_btest.hny", "issue": "No issues", "nstates": 1704815 },
+    { "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": 26 },