Reconfigure GH workflows for new test runner

.github/workflows/run-sml-tests.yml

@@ -21,8 +21,15 @@ jobs:
         sudo apt-get update
         sudo apt-get install smlnj  # Install SML/NJ
 
+    - name: Install python dependencies
+      run: |
+        sudo apt-get install python3
+        sudo apt-get install python3-pip
+        pip3 install --upgrade pip
+        pip3 install -r requirements.txt
+
     - name: Run SML tests
       run: |
         chmod +x test
-        ./test false
+        ./test
 

.github/workflows/run-smlsharp-tests.yml

@@ -30,4 +30,4 @@ jobs:
     - name: Run SML tests
       run: |
         chmod +x test
-        ./test true
+        ./test-smlunit

requirements.txt

@@ -1,2 +1 @@
-argparse
 rich

test.py

@@ -339,26 +339,22 @@ def run_test(test_path: Path):
     logging.info(f"Log file location: {str(Path(args.log_file))}")
 
 
-def write_to_cache():
-    try:
-        with open(args.cache_path, "r") as cache_file:
-            cache = json.load(cache_file)
-    except (json.JSONDecodeError, FileNotFoundError):
-        # Previous error wrote corrupted cache file or first run
-        clear_cache()
-        cache = {}
-
-    def write_(test_set: Set[Path], cache_key: str):
-        cache[cache_key] = str(test_set.pop().resolve()) if test_set else ""
-
-    write_(runtime_error_tests, "runtime_error_tests")
-    write_(failed_tests, "failed_tests")
-    write_(passed_tests, "passed_tests")
-    write_(
-        runtime_error_tests.union(failed_tests).union(passed_tests), "all_seen_tests"
-    )
-    with open(args.cache_path, "w") as cache_file:
-        json.dump(cache, cache_file)
+try:
+    with open(args.cache_path, "r") as cache_file:
+        cache = json.load(cache_file)
+except (json.JSONDecodeError, FileNotFoundError):
+    # Previous error wrote corrupted cache file or first run
+    clear_cache()
+    cache = {}
 
+def write_(test_set: Set[Path], cache_key: str):
+    cache[cache_key] = str(test_set.pop().resolve()) if test_set else ""
 
-write_to_cache()
+write_(runtime_error_tests, "runtime_error_tests")
+write_(failed_tests, "failed_tests")
+write_(passed_tests, "passed_tests")
+write_(
+    runtime_error_tests.union(failed_tests).union(passed_tests), "all_seen_tests"
+)
+with open(args.cache_path, "w") as cache_file:
+    json.dump(cache, cache_file)