fm-weck 1.4.4__py3-none-any.whl → 1.4.6__py3-none-any.whl

fm_weck/resources/fm_tools/witnesslint.yml

@@ -1,5 +1,12 @@
 id: witnesslint
 name: WitnessLint
+description: |
+  WitnessLint is a simple witness validator that
+  rejects only witnesses that do not adhere to the witness format specification.
+  It does this through syntactic checks of the verification witnesses.
+  It is used by the competition SV-COMP to 'desk-reject' witnesses
+  that do not adhere to the format specification,
+  such that invalid witnesses do not yield points in the competition.
 input_languages:
   - C
   - Java
@@ -14,6 +21,11 @@ fmtools_entry_maintainers:
   - PhilippWendler
 
 maintainers:
+  - orcid: 0000-0003-4832-7662
+    name: Dirk Beyer
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/dbeyer/
   - name: Marian Lingsch-Rosenfeld
     orcid: 0000-0002-8172-3184
     institution: LMU Munich
@@ -22,32 +34,32 @@ maintainers:
 
 versions:
   - version: "svcomp25-correctness-graphml"
-    doi: 10.5281/zenodo.13988752
-    benchexec_toolinfo_options: ["--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
+    doi: 10.5281/zenodo.15050742
+    benchexec_toolinfo_options: ["--witness", "${witness}", "--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
     required_ubuntu_packages:
       - python3-lxml
       - python3-jsonschema
       - python3-yaml
       - python3-pycparser
   - version: "svcomp25-violation-graphml"
-    doi: 10.5281/zenodo.13988752
-    benchexec_toolinfo_options: ["--expectViolationWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
+    doi: 10.5281/zenodo.15050742
+    benchexec_toolinfo_options: ["--witness", "${witness}", "--expectViolationWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
     required_ubuntu_packages:
       - python3-lxml
       - python3-jsonschema
       - python3-yaml
       - python3-pycparser
   - version: "svcomp25-correctness-yaml"
-    doi: 10.5281/zenodo.13988752
-    benchexec_toolinfo_options: ["--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "2.0"]
+    doi: 10.5281/zenodo.15050742
+    benchexec_toolinfo_options: ["--witness", "${witness}", "--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "2.0"]
     required_ubuntu_packages:
       - python3-lxml
       - python3-jsonschema
       - python3-yaml
       - python3-pycparser
   - version: "svcomp25-violation-yaml"
-    doi: 10.5281/zenodo.13988752
-    benchexec_toolinfo_options: ["--expectViolationWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "2.0"]
+    doi: 10.5281/zenodo.15050742
+    benchexec_toolinfo_options: ["--witness", "${witness}", "--expectViolationWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "2.0"]
     required_ubuntu_packages:
       - python3-lxml
       - python3-jsonschema
@@ -89,6 +101,8 @@ versions:
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Validation of Correctness Witnesses 1.0"
+    label:
+      - auxiliary
     tool_version: "svcomp25-correctness-graphml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -98,6 +112,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Correctness Witnesses 2.0"
+    label:
+      - auxiliary
     tool_version: "svcomp25-correctness-yaml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -107,6 +123,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Violation Witnesses 1.0"
+    label:
+      - auxiliary
     tool_version: "svcomp25-violation-graphml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -116,6 +134,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Violation Witnesses 2.0"
+    label:
+      - auxiliary
     tool_version: "svcomp25-violation-yaml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -125,6 +145,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Validation of Correctness Witnesses 1.0"
+    label:
+      - auxiliary
     tool_version: "svcomp24-correctness-graphml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -134,6 +156,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Validation of Correctness Witnesses 2.0"
+    label:
+      - auxiliary
     tool_version: "svcomp24-correctness-yaml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -143,6 +167,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
+    label:
+      - auxiliary
     tool_version: "svcomp24-violation-graphml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -152,6 +178,8 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 2.0"
+    label:
+      - auxiliary
     tool_version: "svcomp24-violation-yaml"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -166,4 +194,4 @@ frameworks_solvers: []
 
 used_actors: []
 
-literature: []
+literature: []

fm_weck/resources/fm_tools/witnessmap.yml

@@ -1,8 +1,15 @@
 id: witnessmap
 name: WitnessMap
+description: |
+  WitnessMap is a simple tool with the same input and output as a verifier that
+  only copies witnesses contained in validation tasks
+  to its output folder.
+  It is used by SV-COMP to place existing verification witnesses
+  at the location where the competition infrastructure expects them
+  (this way, the witness is technically 'produced' by a tool
+  with the same interface as a verifier). 
 input_languages:
   - C
-  - Java
 project_url: https://gitlab.com/sosy-lab/software/witnessmap
 repository_url: https://gitlab.com/sosy-lab/software/witnessmap
 spdx_license_identifier: Apache-2.0
@@ -14,6 +21,11 @@ fmtools_entry_maintainers:
   - PhilippWendler
 
 maintainers:
+  - orcid: 0000-0003-4832-7662
+    name: Dirk Beyer
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/dbeyer/
   - name: Marian Lingsch-Rosenfeld
     orcid: 0000-0002-8172-3184
     institution: LMU Munich
@@ -23,13 +35,15 @@ maintainers:
 versions:
   - version: "svcomp25"
     doi: 10.5281/zenodo.14205153
-    benchexec_toolinfo_options: [ ]
+    benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - python3-yaml
 
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
+    label:
+      - auxiliary
     tool_version: "svcomp25"
     jury_member:
       orcid: 0000-0002-8172-3184

fm_weck/run_result.py

@@ -0,0 +1,38 @@
+# This file is part of fm-weck: executing fm-tools in containerized environments.
+# https://gitlab.com/sosy-lab/software/fm-weck
+#
+# SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+from dataclasses import dataclass
+from functools import singledispatchmethod
+
+from benchexec.tools.template import BaseTool2
+from benchexec.util import ProcessExitCode
+from fm_tools import FmData
+from fm_tools.run import get_tool_info
+
+
+@dataclass(frozen=True)
+class RunResult:
+    command: tuple[str, ...]
+    exit_code: int
+    raw_output: str
+
+    def as_benchexec_run(self):
+        return BaseTool2.Run(
+            cmdline=self.command,
+            exit_code=ProcessExitCode.from_raw(self.exit_code),
+            output=BaseTool2.RunOutput(self.raw_output.splitlines(keepends=True)),
+            termination_reason=False,  # TODO: We do not know about this
+        )
+
+    @singledispatchmethod
+    def determine_result(self, tool: BaseTool2) -> str:
+        return tool.determine_result(self.as_benchexec_run())
+
+    @determine_result.register
+    def _(self, tool: FmData) -> str:
+        tool = get_tool_info(tool)
+        return self.determine_result(tool)

fm_weck/runexec_mode.py

@@ -8,7 +8,7 @@
 import logging
 import shutil
 from pathlib import Path
-from typing import Optional
+from typing import TYPE_CHECKING, Optional
 
 from fm_weck.resources import BENCHEXEC_WHL
 from fm_weck.runexec_util import mountable_absolute_paths_of_command
@@ -18,6 +18,9 @@ from .engine import CACHE_MOUNT_LOCATION, Engine
 
 logger = logging.getLogger(__name__)
 
+if TYPE_CHECKING:
+    from fm_weck.run_result import RunResult
+
 
 def run_runexec(
     benchexec_package: Optional[Path],
@@ -25,7 +28,7 @@ def run_runexec(
     configuration: Config,
     extra_container_args: list[list[str]],
     command: list[str],
-):
+) -> "RunResult":
     if use_image is not None:
         configuration.set_default_image(use_image)
 
@@ -50,4 +53,6 @@ def run_runexec(
 
     configuration.make_runexec_script_available()
 
+    engine.handle_io = False
+
     return engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/runexec", *command)

fm_weck/serve.py

@@ -16,6 +16,8 @@ from typing import Optional, Tuple, Union
 from fm_tools import FmData
 from fm_tools.benchexec_helper import DataModel
 
+from fm_weck.run_result import RunResult
+
 from .config import Config, parse_fm_data
 from .engine import CACHE_MOUNT_LOCATION, Engine
 
@@ -58,7 +60,10 @@ def update_checksum(shelve_space: Path, checksum: str, config: Config):
 
 
 def setup_fm_tool(
-    fm_tool: Union[Path, FmData], version: Optional[str], configuration: Config, skip_download: bool = False
+    fm_tool: Union[Path, FmData],
+    version: Optional[str],
+    configuration: Config,
+    offline_mode: bool = False,
 ) -> Tuple[FmData, Path]:
     # Don't explicitly disallow non-FmData here; Pythonic Users might want to exchange the FmData object
     # by a class with the same interface
@@ -66,8 +71,9 @@ def setup_fm_tool(
 
     shelve_space = configuration.get_shelve_space_for(fm_data)
     logger.debug("Using shelve space %s", shelve_space)
+    skip_download = offline_mode
 
-    if (not skip_download) and shelve_space.exists() and shelve_space.is_dir():
+    if (not offline_mode) and shelve_space.exists() and shelve_space.is_dir():
         logger.debug("Shelve space already exists, testing checksum")
         checksum = fm_data.archive_location.checksum()
         skip_download = check_cache_entry(shelve_space, checksum, configuration)
@@ -77,7 +83,17 @@ def setup_fm_tool(
         checksum = fm_data.archive_location.checksum()
         update_checksum(shelve_space, checksum, configuration)
 
-    fm_data.get_toolinfo_module().make_available()
+    tool_info_module = fm_data.get_toolinfo_module()
+
+    if (not offline_mode) or tool_info_module._trivially_resolved():
+        tool_info_module.resolve(target_dir=shelve_space)
+    else:
+        file_name = tool_info_module.raw.rpartition("/")[-1]
+        tool_info_module._target_location = target = shelve_space / file_name
+        tool_info_module.resolved = "." + target.stem
+
+    if tool_info_module._target_location:
+        sys.path.insert(0, str(tool_info_module._target_location.parent))
 
     return fm_data, shelve_space
 
@@ -89,11 +105,14 @@ def run_guided(
     prop: Optional[Path],
     program_files: list[Path],
     additional_args: list[str],
+    witness: Optional[Path] = None,
     data_model: Optional[DataModel] = None,
-    skip_download: bool = False,
+    offline_mode: bool = False,
     log_output_to: Optional[Path] = None,
     output_files_to: Optional[Path] = None,
-) -> int:
+    timeout_sec: Optional[float] = None,
+    print_tool_output_to_console: bool = True,
+) -> RunResult:
     property_path = None
     if prop is not None:
         try:
@@ -104,11 +123,11 @@ def run_guided(
             shutil.copyfile(source_property_path, property_path)
         except KeyError:
             logger.error("Unknown property %s", prop)
-            return 1
+            return 1, None
 
     configuration.make_script_available()
 
-    fm_data, shelve_space = setup_fm_tool(fm_tool, version, configuration, skip_download)
+    fm_data, shelve_space = setup_fm_tool(fm_tool, version, configuration, offline_mode)
     engine = Engine.from_config(fm_data, configuration)
 
     if log_output_to is not None:
@@ -116,6 +135,7 @@ def run_guided(
 
     if output_files_to is not None:
         engine.set_output_files_dir(output_files_to)
+    engine.print_output_to_stdout = print_tool_output_to_console
 
     current_dir = Path.cwd().resolve()
     os.chdir(shelve_space)
@@ -130,9 +150,22 @@ def run_guided(
     )
     os.chdir(current_dir)
 
+    # There are two ways to pass the witness
+    # 1. Through the task options in BenchExec using {"witness": filename} and adding the witness to the input files
+    # 2. Replacing the placeholder in FM-Data "${witness}" with the correct path
+    #
+    # We are using the second approach here, in order to avoid modifying FM-Data
+    if witness is not None:
+        assert any(c == "${witness}" for c in command), "The version given does not support witness files"
+        command = [witness if c == "${witness}" else c for c in command]
+
     logger.debug("Assembled command from fm-tools: %s", command)
 
-    return engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/run_with_overlay.sh", shelve_space.name, *command)
+    execution_result = engine.run(
+        f"{CACHE_MOUNT_LOCATION}/.scripts/run_with_overlay.sh", shelve_space.name, *command, timeout_sec=timeout_sec
+    )
+
+    return execution_result
 
 
 def run_manual(
@@ -140,12 +173,33 @@ def run_manual(
     version: Optional[str],
     configuration: Config,
     command: list[str],
-    skip_download: bool = False,
-) -> int:
-    fm_data, shelve_space = setup_fm_tool(fm_tool, version, configuration, skip_download)
+    offline_mode: bool = False,
+    log_output_to: Optional[Path] = None,
+    output_files_to: Optional[Path] = None,
+    timeout_sec: Optional[float] = None,
+    print_tool_output_to_console: bool = True,
+) -> RunResult:
+    fm_data, shelve_space = setup_fm_tool(fm_tool, version, configuration, offline_mode)
     engine = Engine.from_config(fm_data, configuration)
 
+    if log_output_to is not None:
+        engine.set_output_log(log_output_to)
+
+    if output_files_to is not None:
+        engine.set_output_files_dir(output_files_to)
+
     executable = fm_data.get_executable_path(shelve_space)
     logger.debug("Using executable %s", executable)
     logger.debug("Assembled command %s", [executable, *command])
-    return engine.run(executable, *command)
+
+    if log_output_to is not None:
+        engine.set_output_log(log_output_to)
+
+    if output_files_to is not None:
+        engine.set_output_files_dir(output_files_to)
+
+    engine.print_output_to_stdout = print_tool_output_to_console
+
+    execution_result = engine.run(executable, *command, timeout_sec=timeout_sec)
+
+    return execution_result

fm_weck/version_listing.py

@@ -0,0 +1,25 @@
+# This file is part of fm-weck: executing fm-tools in containerized environments.
+# https://gitlab.com/sosy-lab/software/fm-weck
+#
+# SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+import yaml
+from tabulate import tabulate
+
+
+class VersionListing:
+    tool_and_version: dict[str, list] = {}
+
+    def __init__(self, tool_paths: list):
+        for tool_path in tool_paths:
+            with open(tool_path) as stream:
+                tool_data = yaml.safe_load(stream)
+
+                versions = [version_data["version"] for version_data in tool_data["versions"]]
+                self.tool_and_version[tool_data["name"]] = versions
+
+    def print_versions(self):
+        data_list = list(self.tool_and_version.items())
+        print(tabulate(data_list, headers=["TOOL", "VERSIONS"], tablefmt="fancy_grid"))

{fm_weck-1.4.4.dist-info → fm_weck-1.4.6.dist-info}/METADATA

@@ -1,6 +1,6 @@
-Metadata-Version: 2.3
+Metadata-Version: 2.4
 Name: fm-weck
-Version: 1.4.4
+Version: 1.4.6
 Author-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
 Maintainer-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
 Classifier: Development Status :: 4 - Beta
@@ -10,8 +10,10 @@ Classifier: Programming Language :: Python :: 3.10
 Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
 Requires-Python: >=3.10
+Requires-Dist: argcomplete
 Requires-Dist: fm-tools>=0.3.3
 Requires-Dist: pyyaml>=6.0
+Requires-Dist: tabulate
 Requires-Dist: tomli>=2.0; python_version <= '3.10'
 Requires-Dist: yaspin>=3.0
 Description-Content-Type: text/markdown

fm_weck-1.4.6.dist-info/RECORD

@@ -0,0 +1,153 @@
+fm_weck/__init__.py,sha256=DV5C4Bm7M37AnsKAzMOPeyxn9kt_BMFQM69KKWhiOos,351
+fm_weck/__main__.py,sha256=IfNDAqM6MK6P7KsQoW3wOHPOscB8evdVlS9C7R4wd_0,391
+fm_weck/cache_mgr.py,sha256=3-OQFmCeswazXmX08ND4oEHFOR07ZDCwWzjmFTDkOSE,1373
+fm_weck/cli.py,sha256=3XfzaMqh2Bl_Es3n_7Kv80LScJmQdI6et0tcEI_Z2W4,17069
+fm_weck/config.py,sha256=AAp5qPZfx2Gh-43jySzfHzHOEmbduHJalA7guV9SIzI,7340
+fm_weck/engine.py,sha256=PfcjtN-szlpinSFtv1uE0zs_w__GvR8BSlqbz0u6lII,16742
+fm_weck/exceptions.py,sha256=xXxbYK-FZW6YksBtaN79KaA4fGnFCBO-wc0QMqtq3Og,282
+fm_weck/image_mgr.py,sha256=f1RlmQPBiMrsqPyH1Rtfb8WMp2YBq-7z-Rto_kCfS7U,1861
+fm_weck/run_result.py,sha256=b7t_g6qN2GFGPW6cCoLX_BWMSQ_Q-1cca3Fw3lmIB9M,1207
+fm_weck/runexec_mode.py,sha256=vV90CfxwvoR1ApwL4BXq2q_7f8wjSFsS5XQyugDFWMQ,1909
+fm_weck/runexec_util.py,sha256=YBvVIPpmEousZVxbZ5NS8jzpKPLyws31kIFE2z3Ki2E,1370
+fm_weck/serve.py,sha256=JaaOi2ipJbPiATHVcpjXOoE8XyuoWXSFlrKtdfkqjU8,7342
+fm_weck/version_listing.py,sha256=caaoC3n9R-Ao2sEQ_ngOVO3bnKr7cNVeH6EiA8jO5Sc,864
+fm_weck/resources/BenchExec-3.27-py3-none-any.whl,sha256=g-db8LM8HfqLhbnl7n5lvUbMnF2tZ4MHAVOxTGxqO8w,732849
+fm_weck/resources/BenchExec-3.27-py3-none-any.whl.license,sha256=Nq2Mwgn_pyr6ZZrTT095QPtFP3hr15ZeIRIaY0B7eC8,201
+fm_weck/resources/Containerfile,sha256=MltxP1of9klsQFNR8WyngRTJrPwxQTF4C9ennRxVqSo,391
+fm_weck/resources/__init__.py,sha256=XRQiBOncbVvTqZkJ6vSuvu5SUYd3zEV-dGHZTmmLsEM,1023
+fm_weck/resources/run_with_overlay.sh,sha256=v1gV_6kMQ0v9BQ3chgDqI1MAOLHbPWeeTC52aCqVpEM,1162
+fm_weck/resources/runexec,sha256=ogIBO38HLu9C9kDTTANBgAqVnH-UIF1bSJ9d3DSjyF4,462
+fm_weck/resources/properties/coverage-branches.prp,sha256=Gl2r1cgBFoh4M2laa8dVGhteHkL04oiBRLzxz_hbkEU,56
+fm_weck/resources/properties/coverage-branches.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/coverage-conditions.prp,sha256=tj307UJBhj-PZqRxjijeNb0foWe2hWIc8CQP54gIUao,57
+fm_weck/resources/properties/coverage-conditions.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/coverage-error-call.prp,sha256=ZHzqgYPHix1PINIcpvq2X0QGEKeB9C0fitoV_OPy9IE,61
+fm_weck/resources/properties/coverage-error-call.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/coverage-statements.prp,sha256=drb8JyyDwwZ-cxbOyuzzapYIkl3r7sTlooBCavarYl4,59
+fm_weck/resources/properties/coverage-statements.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/def-behavior.prp,sha256=MpuBzFOzJA2OpwJFS8HFuSo7E199LOKJNTTwr64Bis0,44
+fm_weck/resources/properties/def-behavior.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/no-data-race.prp,sha256=Md-Kd2iEOHeJ00f7w4mpjK7qL8_wdV8jKmoi2gncjLs,43
+fm_weck/resources/properties/no-data-race.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/no-overflow.prp,sha256=6C9SIsRmR2zEVWX8OecxGdhRLeYlhDkOsMMFHz1O5gI,42
+fm_weck/resources/properties/no-overflow.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/termination.prp,sha256=Hp7ZRB6fd2hRaVeot25TyU6nF7ROZS7e_Gz0tT5ZMfk,35
+fm_weck/resources/properties/termination.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/unreach-call.prp,sha256=DGqQz8OtRUUiWgU33cN7ihHqWje5BsBTuymLdI-BAVA,53
+fm_weck/resources/properties/unreach-call.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/valid-memcleanup.prp,sha256=2oOe4eCP56QonUGOAeTQ0BCetbT4V31epndKobRxg54,48
+fm_weck/resources/properties/valid-memcleanup.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/properties/valid-memsafety.prp,sha256=TUbXRp2ksBzMYK8uZb5mXukRBluuyak3YjwYzWAKc_4,129
+fm_weck/resources/properties/valid-memsafety.prp.license,sha256=KzWZF1bpljIbdvwfzfWoP4DLMq6W1jXNN6WXWF0fxY0,214
+fm_weck/resources/fm_tools/2ls.yml,sha256=39BtjMhYN5wQbGGqJ1Ds1tYISLvTD_r7RYxMtDN-7dA,3916
+fm_weck/resources/fm_tools/aise.yml,sha256=zuzzrM-XuRt1RlsjWeupqN2ydYSiR7PJQSF7Hhfw4Y0,1888
+fm_weck/resources/fm_tools/aprove.yml,sha256=vbYUUb_YCHayyiS1oPCZAwMQyB0RVNzlupbBT1Segas,2431
+fm_weck/resources/fm_tools/blast.yml,sha256=zwPhJN0PfNJo_ZM4a5DNTxKCqc_b0CDaADRf8RlmrVw,1689
+fm_weck/resources/fm_tools/brick.yml,sha256=7mWXlRdc-XiFR2c2wohhuoWHCznmEcnr1i1aLCtcZTk,2007
+fm_weck/resources/fm_tools/bubaak-split.yml,sha256=7hmY5CYgIdQJAXYrpcGwR-3tqDFnQNTemFUforrDojQ,1886
+fm_weck/resources/fm_tools/bubaak.yml,sha256=pcJCljIHYmgEMOdeMp8YQxAURO0WlLQ-FpYlYktQHLw,2171
+fm_weck/resources/fm_tools/cadp.yml,sha256=nJsmaBl4qwLsP_ZKujCY7Gbjc0qWV6FbmErpPPw1f2c,3352
+fm_weck/resources/fm_tools/cbmc.yml,sha256=QfgJxq7aBhRcuQpR1_26wKvumM0H4JH7u3SQ_oXYyBM,2095
+fm_weck/resources/fm_tools/cetfuzz.yml,sha256=4JULcR2E0rM_RhgaFv9x8J34loMwB1uiluIKKcQninw,1808
+fm_weck/resources/fm_tools/coastal.yml,sha256=ebKhmUoTdlCTw6W4jIllpAJ-CSoFfGvaB004fDg17nY,1650
+fm_weck/resources/fm_tools/concurrentwitness2test.yml,sha256=5BwfhoWUjB73W0VBgm56C7chj4jo4QoXhZmRHO59tYQ,2263
+fm_weck/resources/fm_tools/cooperace.yml,sha256=oI5G2GeEHZjAZnkg2rJH0NP4NvV5fLioz2KPd1K7YHo,1136
+fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml,sha256=iTEZlnzfVtDUg-cfDgnebIF9VaJ03m188WIbUt_VcAQ,2159
+fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml,sha256=YaO7dPlUV-ctpHm0jHag39_rWySfQQVUAlqKAUuVUuQ,2143
+fm_weck/resources/fm_tools/coveritest.yml,sha256=BJMeWvHQ1RddlPyaUGnXib7-NzhjQUKvnQcD4naGqbk,3223
+fm_weck/resources/fm_tools/cpa-bam-bnb.yml,sha256=oN3noRPVE68xYeDN1LnvyROypuBEO0ex-GghPp9uMh8,1693
+fm_weck/resources/fm_tools/cpa-bam-smg.yml,sha256=0b-5s1W6jzlVx9b2WXbqhW0yPuYVV5SLpLIi4vFRAk8,1743
+fm_weck/resources/fm_tools/cpa-lockator.yml,sha256=y3PSzB0aQZKB8tID1dxif-EtWNE5s8I3Rmmd-wONjmE,1721
+fm_weck/resources/fm_tools/cpa-witness2test.yml,sha256=5YyhBtMH_-3W9jCOJRpSKM4m-jyXb90XWPVtcP5UqY0,3626
+fm_weck/resources/fm_tools/cpachecker.yml,sha256=RUJKnLrEbmKpWNx8PFqvsbMhHFBQ7myChdYoMiQY0Xk,10708
+fm_weck/resources/fm_tools/cpv.yml,sha256=Q0wlS5l3CYRhNfsZNZDMAgBGZ3bTmdwKc8BhDU5ZZcQ,2481
+fm_weck/resources/fm_tools/crux.yml,sha256=pSWP_AK7E5VZGrq02Unpt_1OCVY8Sf7g4XFPajqubLE,1640
+fm_weck/resources/fm_tools/cseq.yml,sha256=IjAo-HFz-ME7CcY6BtrBeUwHcEY05OQWZzPmqmbnE5U,2025
+fm_weck/resources/fm_tools/dartagnan.yml,sha256=ahDvBL9hUYeo6NCabqL4xAiqUmG4kprftutDhEVV3Oo,4022
+fm_weck/resources/fm_tools/deagle.yml,sha256=f_uEhcm1OOp3ySnbc_KBCKve_3HpAwra9vYVl_s3xNs,2673
+fm_weck/resources/fm_tools/divine.yml,sha256=R_KPU3biFnNzqV6U9GhWMFGQ0FwUCIYB-7ucp-JggE4,1549
+fm_weck/resources/fm_tools/ebf.yml,sha256=nC2YfE6wveiWzaxIb1F_QXnJprKKDJIycZbZ7yogoB4,1661
+fm_weck/resources/fm_tools/emergentheta.yml,sha256=l9iDthVia5XGa7lr51pw7LQyarnzVKgUVaxFWNn9X0I,2360
+fm_weck/resources/fm_tools/esbmc-incr.yml,sha256=ZQzJSvdzVOTsE-ACtfS1bb2OpTSo4pkmoUJz9UorVf0,2326
+fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=3il2Cl3MePUYItGcrS3lEvPHxbVjwRPe4vs-QPUxaUc,3008
+fm_weck/resources/fm_tools/fdse.yml,sha256=VPm7Uu-3JGdo5vCmpFBVH9oIuNktOoss3csZNygteN4,1694
+fm_weck/resources/fm_tools/fizzer.yml,sha256=0T_NLV9cQ_H8aDjRFDHsDWNSAqbKEAQ7zoe5tQke58E,2433
+fm_weck/resources/fm_tools/frama-c-sv.yml,sha256=riDGXuM161kkDKEGXW4EpEpvJ6jD4PLOFClsUg_tk-U,1941
+fm_weck/resources/fm_tools/fshell-witness2test.yml,sha256=evJ_9oCIB4Vzt3Az7jynL7BADaV9U1fKHDKutLyn6EQ,1719
+fm_weck/resources/fm_tools/fusebmc-ia.yml,sha256=lHfdXOdab6QbViEoZVCOpDWmnDmCVruA7QFhByypD2M,2375
+fm_weck/resources/fm_tools/fusebmc.yml,sha256=nZf4dydFZ9rcgg5NUPHxN5QbpzehcTzFd8rywTDWIJk,3502
+fm_weck/resources/fm_tools/gazer-theta.yml,sha256=zsDpcQCTkAbptL_GPsoom95BruxPj7X5LILJgKPM11c,1879
+fm_weck/resources/fm_tools/gdart-llvm.yml,sha256=A1Pn8G0jbGmMRhiGVfpQIe179HJlrV3YGBWSOT8Zjk0,1442
+fm_weck/resources/fm_tools/gdart.yml,sha256=UuZmWONU5kMJtYmq2qgIE4RxnYZwUW62Ym1fW2DqO2E,2656
+fm_weck/resources/fm_tools/goblint.yml,sha256=B5Q43v6nyLodx88XiOgSenKzperRZYeb1nZ97KT37sQ,4182
+fm_weck/resources/fm_tools/graves-par.yml,sha256=GLoBUwv16gQBzrtg5dota5-wbls8Dd_JQWCHKeqsLlE,1462
+fm_weck/resources/fm_tools/graves.yml,sha256=adyp-k_7moQ9pgSeCtEauPOGFIufWoRlQydIRjn0yi0,2269
+fm_weck/resources/fm_tools/gwit.yml,sha256=31k4Js4d3nCqW2uJDQnnfuqJcqfK77C0PuGBhdKMC98,1848
+fm_weck/resources/fm_tools/hornix.yml,sha256=zfJZg09qiueTtyDcZLpWEQDK8GhwfvjfbLI1G_tzUUM,1532
+fm_weck/resources/fm_tools/hybridtiger.yml,sha256=Zh9z-CQwB0tjF94_s4Yw9wnTblYAvumiwPk30-qfe_I,1833
+fm_weck/resources/fm_tools/infer.yml,sha256=sRIzRShUOhY_Y624Oiwdk5MR-c1ligXJdAgLdt-20qk,1884
+fm_weck/resources/fm_tools/java-ranger.yml,sha256=3T1Vq3v_7dBZl3oIgjZjoZVkPK-OGeFzoaxzpn8h4sE,1989
+fm_weck/resources/fm_tools/jayhorn.yml,sha256=4-R_2eBD_RvbY2f6Wsrp0ObssHdEsJT29aYCngYnozY,1994
+fm_weck/resources/fm_tools/jbmc.yml,sha256=4TiAVbUPbccoChPBLmpXxRE1H6NBxqqGUTFt0kMbE_8,2735
+fm_weck/resources/fm_tools/jcwit.yml,sha256=eJ4w5yGTIb_T-n4g5vki8L9Q_OeKHPYE-T4NLm0QZ7k,1297
+fm_weck/resources/fm_tools/jdart.yml,sha256=sxH0f_FOF7xAVOosFvRcaiRwQ6qnELRUo_czqw1Jons,1516
+fm_weck/resources/fm_tools/key.yml,sha256=wse7rCv33m2z8nbm9Dk-jAipkMaF8S0LINGCzfNfpfE,2478
+fm_weck/resources/fm_tools/klee.yml,sha256=XCNXsPLH-AQPw-iDoJBY2QvByUV3QEf4ZipGwBCMu_o,1576
+fm_weck/resources/fm_tools/kleef.yml,sha256=wheoFgTUTk6HzSPKOqHx8mWeVN9HnWupaP9QtPSKyOQ,1634
+fm_weck/resources/fm_tools/korn.yml,sha256=Y4DyRuUJyoMbacDey22GxbTNWuoOonRmiegtFRp3iPw,2829
+fm_weck/resources/fm_tools/lazycseq.yml,sha256=cS3fe0Pmu73iIx7TTs22l3oeH898WvKoDCrP4y0dQXE,1492
+fm_weck/resources/fm_tools/legion-symcc.yml,sha256=mtobhu1AAXXXIGD0ebl9iD96VTauCkdL_ZFJEWrnaY8,1483
+fm_weck/resources/fm_tools/legion.yml,sha256=ClD8_UEJq8wHIEp9_ifhTNKJuNmzvekaQx1BFOj4vlA,1675
+fm_weck/resources/fm_tools/lf-checker.yml,sha256=lV4-GzzNvzWW505FFtYAUHlSG4gxOn-LL4xT8Tpyvq0,1386
+fm_weck/resources/fm_tools/liv.yml,sha256=t0-Rfs0Ot3VPn7DD_pt3VAbyfpUOP8kdYV3E7uN3qGI,3260
+fm_weck/resources/fm_tools/locksmith.yml,sha256=c3wNvIzQ_PZaYv6Mm15QH-Rm4oTuNzILNJs1fssESYQ,1397
+fm_weck/resources/fm_tools/metaval++.yml,sha256=KAOcvftDNLvuHzIKaUoebekeOxBE6DVS2Acq2VbL1Dg,2006
+fm_weck/resources/fm_tools/metaval.yml,sha256=aclr5cfGDuCduSrlk9kLOcK8GaUQAzPtDAxIJHgHs44,4668
+fm_weck/resources/fm_tools/mlb.yml,sha256=S_ykc9ThLHBbMSXOgYIvk81r96cEwXbAXI5lPRDxJ4s,1907
+fm_weck/resources/fm_tools/mopsa.yml,sha256=lOVxyLPoxsyeLhgFGm9X3D4cGrhC6X2jTO4MmyCBHbE,4172
+fm_weck/resources/fm_tools/nacpa.yml,sha256=b59jqHyQGffRCTzGhyEL4zNUGz_Ss-eRw_s7W7MefaY,1417
+fm_weck/resources/fm_tools/nitwit.yml,sha256=pAJXUtI35HqocZhseTqwkYOVis9Iv16C-UstDId4Juo,2097
+fm_weck/resources/fm_tools/owic.yml,sha256=m0fcxyLurCLVFNmfiI0M6giSmsSEOHBdcyYyGbswiG0,1562
+fm_weck/resources/fm_tools/pesco.yml,sha256=s5OOJUMTpoZEAgodj1q5kPrNcgGhQY5Tsk0Vw-4aAyo,2317
+fm_weck/resources/fm_tools/pichecker.yml,sha256=ZNVlm230PlcbYttxwzE0oUUkxSFj_DLlpd7hLZZHr90,1646
+fm_weck/resources/fm_tools/pinaka.yml,sha256=M-2Up2dKb3IJChpjsd1uWbX69bmEN_T4lM5NF0t77t4,1677
+fm_weck/resources/fm_tools/predatorhp.yml,sha256=JjUWrV1u-XSw8bKJ5t371HG4yeAhuXPmZrtjpD3z5Yw,2513
+fm_weck/resources/fm_tools/prism.yml,sha256=ruAG7Yvb_x6BlHzmadNX8M5DsL8ObsOz493g0kKCwL4,2320
+fm_weck/resources/fm_tools/proton.yml,sha256=2iigAhBelOxN8we6NPPBuoGXPIllv6tzNQm1qqG5iM4,1629
+fm_weck/resources/fm_tools/prtest.yml,sha256=ro1WPEA-FjumAOzGqN-5v6qOpx732x2Og4DerD04yEg,2250
+fm_weck/resources/fm_tools/racerf.yml,sha256=6ck8P7i7QC_9Quq-nJxXeP_12ACKJzgV7CJfDT_hfdg,1747
+fm_weck/resources/fm_tools/relay-sv.yml,sha256=rN4kf0EO_xVqzpPlFtWqdNjICjOjU4Uo7_YX9E6OPlo,1237
+fm_weck/resources/fm_tools/rizzer.yml,sha256=ZmVL72-mBTzmMY29I3x5HmSCtQTMbJ0vw2Ucx_xSfnM,1523
+fm_weck/resources/fm_tools/schema.yml,sha256=_SqJzwFGxM0EuuLgcMF-S_hUtoGxaFKraGTfQDUyILY,22945
+fm_weck/resources/fm_tools/sikraken.yml,sha256=WnLxKyl-4zZ8rvXWqLuuqaC8b9GGQDg-jB3798SeK6M,1067
+fm_weck/resources/fm_tools/spf.yml,sha256=6-7306izjPHKcLZ1veQRmGWOVQcsFJbNyL_55JYVQXA,1692
+fm_weck/resources/fm_tools/sv-sanitizers.yml,sha256=tisvbuYRXutJuk-rsqzRJ-3NSMBL29hHjym3eqE4MAI,1431
+fm_weck/resources/fm_tools/svf-svc.yml,sha256=gQ12F7_7uis7fVgsTiNdleKBgydi-BOgS4ne-dRyHvk,1591
+fm_weck/resources/fm_tools/swat.yml,sha256=gsvsFBeItbspzdXVVQ8TFWulbdYHzIHSmcKlWkWxGk0,1684
+fm_weck/resources/fm_tools/symbiotic-witch.yml,sha256=6ND-WISFvJEeyEB3Q-Xu71dZrc_ayr1kAnEzfV3TA84,2421
+fm_weck/resources/fm_tools/symbiotic.yml,sha256=cM7x0UIziMazq355CyZ9qBF0pEOuy4wjE9rmb_QSYE4,5796
+fm_weck/resources/fm_tools/testcov.yml,sha256=UqI_uR1kYckBqiRArFP7sU_HLfu7jUq-GEsJOWgLu0s,5147
+fm_weck/resources/fm_tools/theta.yml,sha256=nZFzCtxfCEATlctK4CAyj_zRnzqlqO_HfsC94df_Lt0,2894
+fm_weck/resources/fm_tools/thorn.yml,sha256=2UuyPi1dKRjXObOVxj7x0joYxPmqDa-e3DZYjfKyweE,1326
+fm_weck/resources/fm_tools/tracerx-wp.yml,sha256=LAfAd3f1u-6ZQ00fNvruqrlmvFVpK_rJV4HWYz7G4DE,2016
+fm_weck/resources/fm_tools/tracerx.yml,sha256=I3r02dWrMEbcXyH2Nvn4skf5cKXjKESrA9boPaSw3ok,2370
+fm_weck/resources/fm_tools/uautomizer.yml,sha256=CwwbVbtbKr5ri4PZ-g1WwUIsDWcnOyeYvRfVNSgrZi0,7604
+fm_weck/resources/fm_tools/ugemcutter.yml,sha256=0APiSLnEt3_kfVHulAker97m4VvFMVFbb7o-fuObBpk,3318
+fm_weck/resources/fm_tools/ukojak.yml,sha256=SRA0xSCBKdDeRDFhhWUDht6FK3MXMQyVzd-dtduHvi8,3041
+fm_weck/resources/fm_tools/ureferee.yml,sha256=eNk0m1x36WSG9Y9-EtobRNoDmdFkAizEACfGAWFv2YY,2391
+fm_weck/resources/fm_tools/utaipan.yml,sha256=oxAUMHHXRv4TWcGoOqkzyKtzKkPhJDBQAdmn1sLW_Gs,3565
+fm_weck/resources/fm_tools/utestgen.yml,sha256=_mefwNOoW2Foa5IytA2fUpIg4gmqbmaXxUgFdiLmOkQ,2457
+fm_weck/resources/fm_tools/vercors.yml,sha256=b7vEyzW61lQ6Dp9od65sUVYRbrQWtosN5p3-MjTXEvg,3190
+fm_weck/resources/fm_tools/veriabs.yml,sha256=N4zCdZnrV8duOjcw1wzavp5oZtz21WShP_Z38tnIsTs,2490
+fm_weck/resources/fm_tools/veriabsl.yml,sha256=4mj2IxMnTFNO7vQzSp5XBT7p32HhRW67Ip1BgZpCzAk,3581
+fm_weck/resources/fm_tools/verifuzz.yml,sha256=1HHtZMkMhUyXxd20R7yXVEqyqOVo_O3G_j3zdSx3z9k,1845
+fm_weck/resources/fm_tools/verioover.yml,sha256=Gjnxl3GYXDmes_nA_J1Jucc6DjfOX8Uz3DjTXiHeerg,1362
+fm_weck/resources/fm_tools/wasp-c.yml,sha256=e2rureVEfS1wClCVknRg1MlatrL3x0fUhYV8A_eUAM8,1595
+fm_weck/resources/fm_tools/wit4java.yml,sha256=ylfze2XbV4zKkVUH57Veqn7G49gW0Byxd5qFRnzs_bw,1861
+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.4.6.dist-info/METADATA,sha256=lZPOGSSc4OeZvJ0m5VGGbo25DdX0twG-9rCEfYGE2A0,2822
+fm_weck-1.4.6.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+fm_weck-1.4.6.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
+fm_weck-1.4.6.dist-info/RECORD,,

{fm_weck-1.4.4.dist-info → fm_weck-1.4.6.dist-info}/WHEEL

@@ -1,4 +1,4 @@
 Wheel-Version: 1.0
-Generator: hatchling 1.26.3
+Generator: hatchling 1.27.0
 Root-Is-Purelib: true
 Tag: py3-none-any