Add script to filter test list

Author: object-Object

riscof/Makefile

@@ -37,4 +37,5 @@ $(WORK_DIR)/test_list.yaml: $(DB_DIR)/test_list.yaml
 $(DB_DIR)/test_list.yaml: mlogv32/mlogv32_isa.yaml mlogv32/mlogv32_platform.yaml $(CONFIG)
 	rm -rf $(DB_DIR)
 	riscof testlist $(ARGS)
+	python filter_test_list.py --work-dir $(WORK_DIR) --config $(CONFIG)
 	mv $(WORK_DIR) $(DB_DIR)

riscof/config.ini

@@ -10,6 +10,7 @@ ispec=./mlogv32/mlogv32_isa.yaml
 pspec=./mlogv32/mlogv32_platform.yaml
 target_run=1
 jobs=8
+skip_tests=/vm_sv32/
 # change these when running the tests on another computer (FIXME: hack)
 host_repo_path=/Users/object/Git/mlogv32
 riscof_repo_path=/workspaces/mlogv32

riscof/filter_test_list.py

@@ -0,0 +1,42 @@
+from configparser import ConfigParser
+from pathlib import Path
+from typing import Any
+
+import yaml
+from typer import Typer
+
+app = Typer()
+
+
+@app.command()
+def main(
+    work_dir: Path = Path("riscof_work"),
+    config: Path = Path("config.ini"),
+):
+    with open(config, "r") as f:
+        cfg = ConfigParser()
+        cfg.read_file(f)
+        skip_tests = cfg.get("mlogv32", "skip_tests").split(",")
+
+    with open(work_dir / "test_list.yaml", "rb") as f:
+        test_list: dict[str, Any] = yaml.load(f, yaml.Loader)
+
+    filtered_list = dict[str, Any]()
+    for testname, value in test_list.items():
+        for skip in skip_tests:
+            if skip in testname:
+                break
+        else:
+            filtered_list[testname] = value
+            continue
+        _, _, test_display_name = testname.partition(
+            "riscv-arch-test/riscv-test-suite/"
+        )
+        print(f"Skipping test: {test_display_name}")
+
+    with open(work_dir / "test_list.yaml", "w") as f:
+        yaml.dump(filtered_list, f)
+
+
+if __name__ == "__main__":
+    app()