Adds detection and reporting for ISA extensions that are implemented but have no selected tests.

framework/src/act/act.py

@@ -22,7 +22,7 @@
 from act.coverreport import print_coverage_summary
 from act.parse_test_constraints import TestYamlHeaderError, generate_test_dict
 from act.parse_udb_config import generate_udb_files, get_config_params, get_implemented_extensions
-from act.select_tests import select_tests
+from act.select_tests import get_untested_implemented_extensions, select_tests
 
 # CLI interface setup
 act_app = typer.Typer(context_settings={"help_option_names": ["-h", "--help"]})
@@ -100,6 +100,7 @@ def run_act(
 
     config_names: list[str] = []
     tasks: list[BuildTask] = []
+    excluded_extensions = {ext.strip() for ext in exclude.split(",") if ext.strip()}
     for config_file in config_files:
         # Load configuration
         config = load_config(config_file)
@@ -115,6 +116,20 @@ def run_act(
         selected_tests = select_tests(
             full_test_dict, implemented_extensions, config_params, include_priv_tests=config.include_priv_tests
         )
+        if extensions == "all":
+            untested_extensions = get_untested_implemented_extensions(
+                selected_tests,
+                implemented_extensions,
+                include_priv_tests=config.include_priv_tests,
+                excluded_extensions=excluded_extensions,
+            )
+            if untested_extensions:
+                print(
+                    f"Warning: {config.name}: no applicable tests selected for implemented extension(s): "
+                    f"{', '.join(untested_extensions)}. Tests may be missing, excluded, or "
+                    "otherwise inapplicable for the current configuration.",
+                    file=sys.stderr,
+                )
         mxlen = config_params["MXLEN"]
         if not isinstance(mxlen, int):
             raise TypeError(f"MXLEN must be an integer, got {type(mxlen)}: {mxlen!r}")

framework/src/act/select_tests.py

@@ -81,3 +81,22 @@ def select_tests(
             if check_test_params(test_params, config_params):
                 selected_tests[test_name] = test_metadata
     return selected_tests
+
+
+def get_untested_implemented_extensions(
+    selected_tests: dict[str, TestMetadata],
+    implemented_extensions: set[str],
+    *,
+    include_priv_tests: bool = True,
+    excluded_extensions: set[str] | None = None,
+) -> list[str]:
+    """Return implemented extensions that have no selected tests."""
+    covered_extensions = {
+        extension for test_metadata in selected_tests.values() for extension in test_metadata.required_extensions
+    }
+    untested_extensions = implemented_extensions - covered_extensions
+    if not include_priv_tests:
+        untested_extensions -= PRIV_EXTENSIONS
+    if excluded_extensions:
+        untested_extensions -= excluded_extensions
+    return sorted(untested_extensions)