fm-weck 1.5.0__py3-none-any.whl → 1.5.1__py3-none-any.whl

fm_weck/__init__.py

@@ -8,4 +8,4 @@
 from .config import Config  # noqa: F401
 from .image_mgr import ImageMgr  # noqa: F401
 
-__version__ = "1.5.0"
+__version__ = "1.5.1"

fm_weck/cli.py

@@ -419,8 +419,8 @@ def parse(raw_args: list[str]) -> Tuple[Callable[[], None], Namespace]:
         "TOOL",
         help="The tool for which to run the smoke test.",
         type=ToolQualifier,
-        nargs=1,
-    ).completer = ShellCompletion.versions_completer
+    ).completer = ShellCompletion.versions_completer  # type: ignore[assignment]
+
     smoke_test.add_argument(
         "--gitlab-ci-mode",
         action="store_true",
@@ -428,6 +428,15 @@ def parse(raw_args: list[str]) -> Tuple[Callable[[], None], Namespace]:
         required=False,
         default=False,
     )
+    smoke_test.add_argument(
+        "--competition-year",
+        action="store",
+        type=int,
+        help="Automatically select the tool version used in the specified competition year (e.g., 2025). "
+        "Searches for SV-COMP or Test-Comp participation in that year.",
+        required=False,
+        default=None,
+    )
     smoke_test.set_defaults(main=main_smoke_test)
 
     with contextlib.suppress(ImportError):
@@ -483,6 +492,41 @@ def resolve_property_for_server(prop_name: str) -> Union[Path, str]:
     return prop_name
 
 
+def get_version_for_competition_year(tool_path: Path, year: int) -> Optional[str]:
+    """
+    Find the tool version used in a competition for the given year.
+    Searches for SV-COMP or Test-Comp participation entries.
+
+    Args:
+        tool_path: Path to the tool's YAML file
+        year: Competition year (e.g., 2025)
+
+    Returns:
+        Version string if found, None otherwise
+    """
+    import yaml
+
+    if not tool_path.exists() or not tool_path.is_file():
+        return None
+
+    with tool_path.open("r") as f:
+        data = yaml.safe_load(f)
+
+    competition_participations = data.get("competition_participations", [])
+
+    # Search for competition entries matching the year
+    for participation in competition_participations:
+        competition = participation.get("competition", "")
+        # Match "SV-COMP 2025", "Test-Comp 2025", etc.
+        if f"{year}" in competition and ("SV-COMP" in competition or "Test-Comp" in competition):
+            version = participation.get("tool_version")
+            if version:
+                logger.info("Found version '%s' for %s in %s", version, tool_path.stem, competition)
+                return version
+
+    return None
+
+
 def set_log_options(loglevel: Optional[str], logfile: Optional[str], config: dict[str, Any]):
     level = "WARNING"
     level = loglevel.upper() if loglevel else config.get("logging", {}).get("level", level)
@@ -686,14 +730,32 @@ def main_smoke_test(args: argparse.Namespace):
     from .smoke_test_mode import run_smoke_test, run_smoke_test_gitlab_ci
 
     try:
-        tool = resolve_tool(args.TOOL[0])
+        tool = resolve_tool(args.TOOL)
     except KeyError:
-        logger.error("Unknown tool: %s", args.TOOL[0].tool)
+        logger.error("Unknown tool: %s", args.TOOL.tool)
         return 1
 
+    # Handle --competition-year flag
+    version = args.TOOL.version
+    if args.competition_year:
+        if version:
+            logger.warning(
+                "Both explicit version '%s' and --competition-year %d specified. "
+                "Using competition year to determine version.",
+                version,
+                args.competition_year,
+            )
+        competition_version = get_version_for_competition_year(tool, args.competition_year)
+        if competition_version:
+            logger.info("Using version '%s' for competition year %d", competition_version, args.competition_year)
+            version = competition_version
+        else:
+            logger.error("No competition participation found for year %d in tool %s", args.competition_year, tool.stem)
+            return 1
+
     fm_data, shelve_space = setup_fm_tool(
         fm_tool=tool,
-        version=args.TOOL[0].version,
+        version=version,
         configuration=Config(),
     )
 

{fm_weck-1.5.0.dist-info → fm_weck-1.5.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: fm-weck
-Version: 1.5.0
+Version: 1.5.1
 Author-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
 Maintainer-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
 Classifier: Development Status :: 4 - Beta

{fm_weck-1.5.0.dist-info → fm_weck-1.5.1.dist-info}/RECORD

@@ -1,8 +1,8 @@
-fm_weck/__init__.py,sha256=v0ltYQ0MeG-hs4LVU6TIPeboGSEmIMSDHqOGvQdQR_s,351
+fm_weck/__init__.py,sha256=pcp30MR-tRkciy0U5U7dBSMuP9rJ3Vwv4O5spbrdbmA,351
 fm_weck/__main__.py,sha256=IfNDAqM6MK6P7KsQoW3wOHPOscB8evdVlS9C7R4wd_0,391
 fm_weck/cache_mgr.py,sha256=3-OQFmCeswazXmX08ND4oEHFOR07ZDCwWzjmFTDkOSE,1373
 fm_weck/capture.py,sha256=iogn3JvCZEjD0SQL8Xa3TzmZAWifd9ZIP81c3JIsdUQ,982
-fm_weck/cli.py,sha256=dPpJqyF0iXqZuRiPATypDbc6TyaUWzUFpb1qc2uo-mg,23657
+fm_weck/cli.py,sha256=9Foecc_r5-sZIzBgo0d0kOmZhP0dMGfTwCRh6j0rLAE,25977
 fm_weck/config.py,sha256=8XXlHbb9cW1N1jatNFY5AnaRdxsSz-ohCrqq5t90RAc,8099
 fm_weck/engine.py,sha256=HfRj5Okewteco7A-CccCIbk2aEGDh4K896YyQo7h1gE,21733
 fm_weck/exceptions.py,sha256=AfqTt6gxZPUQ0rKqwgdGTyfIjWmU3xBFIJxQnMLbLGo,2465
@@ -165,7 +165,7 @@ fm_weck/resources/fm_tools/wit4java.yml,sha256=ylfze2XbV4zKkVUH57Veqn7G49gW0Byxd
 fm_weck/resources/fm_tools/witch.yml,sha256=wwe6lrI2sxGKVZbLeipa38rPhB2pcSUFi9uVngtXGUQ,1795
 fm_weck/resources/fm_tools/witnesslint.yml,sha256=EvMBcm5fx6lgSLRmHSKXSxXIJKZ-BrxLwTXI4GQ6FMs,6812
 fm_weck/resources/fm_tools/witnessmap.yml,sha256=FyZtEloxpWBBjLn9kyqoen2kPjOkH2r4fxAj5gfV8Bg,1692
-fm_weck-1.5.0.dist-info/METADATA,sha256=UqR47gDzSfO-MS7U0lEmpMoYJ5Xe6Vx_4cxMXg7qq-0,3339
-fm_weck-1.5.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-fm_weck-1.5.0.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
-fm_weck-1.5.0.dist-info/RECORD,,
+fm_weck-1.5.1.dist-info/METADATA,sha256=jYdZSrXwB_PzT8dVahhwa76YCuFXSPUe5MfB0bHrAYI,3339
+fm_weck-1.5.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+fm_weck-1.5.1.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
+fm_weck-1.5.1.dist-info/RECORD,,