Make it possible to run only a specific type checker

Author: davidhalter

conformance/src/main.py

@@ -260,6 +260,8 @@ def main():
 
         # Run each test case with each type checker.
         for type_checker in TYPE_CHECKERS:
+            if options.only_run and options.only_run != type_checker.name:
+                continue
             if not type_checker.install():
                 print(f"Skipping tests for {type_checker.name}")
             else:

conformance/src/options.py

@@ -5,10 +5,12 @@
 import argparse
 from dataclasses import dataclass
 
+from type_checker import TYPE_CHECKERS
 
 @dataclass
 class _Options:
     report_only: bool | None
+    only_run: str | None
 
 
 def parse_options(argv: list[str]) -> _Options:
@@ -19,5 +21,10 @@ def parse_options(argv: list[str]) -> _Options:
         action="store_true",
         help="regenerates the test suite report from past results",
     )
+    reporting_group.add_argument(
+        "--only-run",
+        help="Only runs the type checker",
+        choices=[tc.name for tc in TYPE_CHECKERS]
+    )
     ret = _Options(**vars(parser.parse_args(argv)))
     return ret