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

fm_weck/resources/fm_tools/witnessmap.yml

@@ -1,5 +1,13 @@
 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
 project_url: https://gitlab.com/sosy-lab/software/witnessmap
@@ -13,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,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.5.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.5
+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.5.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

fm_weck-1.4.5.dist-info/RECORD

@@ -1,146 +0,0 @@
-fm_weck/__init__.py,sha256=CNeS9ogldhyi31FKMKNRg7cC6RY2-OQm5N5zdDWnqg8,351
-fm_weck/__main__.py,sha256=EH-5hwqGqbt71BJpd4iJK9IbS1KBBdfjGjtG3tqfSI8,367
-fm_weck/cli.py,sha256=3LP3EIb1yx9InqhSlAdUOY7Pcbsy3HEikSMdiEaAp80,13625
-fm_weck/config.py,sha256=AAp5qPZfx2Gh-43jySzfHzHOEmbduHJalA7guV9SIzI,7340
-fm_weck/engine.py,sha256=2OfRD0aeCQqVl55JyhwjfRu3JMkQUjl9DnFrTg_mQko,13898
-fm_weck/exceptions.py,sha256=D_3xPdWkmsY4Dn7k4oGHEAZc2Ner2p3sw2t8lhEHrGI,281
-fm_weck/image_mgr.py,sha256=f1RlmQPBiMrsqPyH1Rtfb8WMp2YBq-7z-Rto_kCfS7U,1861
-fm_weck/runexec_mode.py,sha256=3-C-Leblrku4fo0pFPHelWiy7_drUAa8GxwNA17HINY,1785
-fm_weck/runexec_util.py,sha256=YBvVIPpmEousZVxbZ5NS8jzpKPLyws31kIFE2z3Ki2E,1370
-fm_weck/serve.py,sha256=q5glWapvBQQVc_4HS8MJBhx-987-lOvnamd_z8FU3PY,5337
-fm_weck/resources/BenchExec-3.25-py3-none-any.whl,sha256=87QrHJum5CHhpTrQlQpamHMnlkMzJE5lM4SlJg-Y9jk,718841
-fm_weck/resources/BenchExec-3.25-py3-none-any.whl.license,sha256=Nq2Mwgn_pyr6ZZrTT095QPtFP3hr15ZeIRIaY0B7eC8,201
-fm_weck/resources/Containerfile,sha256=MltxP1of9klsQFNR8WyngRTJrPwxQTF4C9ennRxVqSo,391
-fm_weck/resources/__init__.py,sha256=FiA_c0huVEKM0EKHFqzMNjq0qAYTRXvfcnHraTzj0QQ,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=q-mAQNrzlQTYY0_KcIVnKw3zsmMJUrVhFik5FJeRd7Q,2740
-fm_weck/resources/fm_tools/aise.yml,sha256=hS7ZxBWoWwYv0YfRLZ_MlTto3GiaWdV0wc9ICbN6L5g,1669
-fm_weck/resources/fm_tools/aprove.yml,sha256=3OX6g-Q-xKpL7ryhVDDvRSAZ1-H30X33UPH3x0pAVzE,2148
-fm_weck/resources/fm_tools/brick.yml,sha256=67hl0_5lUlqCHeeBZZ4rAhTiRoQ-WeQ3H5UqeYfzokc,2027
-fm_weck/resources/fm_tools/bubaak-split.yml,sha256=VcFGKBorS0c8fQUwesrd6GAR8pXcWCYuXmeqLbxSnQA,1901
-fm_weck/resources/fm_tools/bubaak.yml,sha256=FDjAbJE6GCNGvkbGVl-nlf-prJA2OasmVGxWb6EyVrg,2191
-fm_weck/resources/fm_tools/cbmc.yml,sha256=qagpJhx0XgW_bvGertzlqa2qESo79gZLDOqFMtOmxNQ,1990
-fm_weck/resources/fm_tools/cetfuzz.yml,sha256=12oskVc9wu8qzNrtJXm6Gt4kADCCPrBIXFIT4IHUGm4,1811
-fm_weck/resources/fm_tools/coastal.yml,sha256=02Oo6x9R5YdYi9Nyn-XiBxlR6tYUFVeUiSTdFdogO-Y,1541
-fm_weck/resources/fm_tools/concurrentwitness2test.yml,sha256=OaYOgcL61ayX6qkjZSRGh9x6Fd1zHhc-A0LQq47iacU,1940
-fm_weck/resources/fm_tools/cooperace.yml,sha256=ZZqaSmqbvid5Bu1q--1umB82s9aiEx2UCirLD_lvkQw,1145
-fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml,sha256=HkiONqBx4XU_KVqhb7TBrqKF8L0iOdbZOFB_w49QVyo,2382
-fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml,sha256=st1sVSYDVn206rx_JYfC1unL25EI1uzfV9St0WQWQsc,2366
-fm_weck/resources/fm_tools/coveritest.yml,sha256=8KAvgYe3EhGXBYPRqa0GPBlOYTX_geuSVsBRHLWUc8w,2424
-fm_weck/resources/fm_tools/cpa-bam-bnb.yml,sha256=5p4t9k9UMaq1MbMuC0je9nl59jmGQzCHxhG3BTuk2gM,1600
-fm_weck/resources/fm_tools/cpa-bam-smg.yml,sha256=WPhqXFkcyPx8LUlQ182PvsJNvCd51yAviMuMAQUFBe4,1644
-fm_weck/resources/fm_tools/cpa-lockator.yml,sha256=0i_fn2OszJmLJMnTxrRin4XSR03gY1b4ECo-OJylCl0,1628
-fm_weck/resources/fm_tools/cpa-witness2test.yml,sha256=Kivi4i6TpmjAjQ9aL5-T4wijb6U4ZZ1KZ_yrTu8W1KQ,3181
-fm_weck/resources/fm_tools/cpachecker.yml,sha256=aOQrLW5Xrc-ouy1y9aBz3OMWtL_IDoecKuy6IlyAeIk,10654
-fm_weck/resources/fm_tools/cpv.yml,sha256=E_s4MpLSxEMrMK88InJBTu0n6TpuXEyrzN8Vm_OcAXk,2415
-fm_weck/resources/fm_tools/crux.yml,sha256=BRD147h5cR5Brz89nY7AewjTXZcjl2Wq5m_IVu7CNHg,1335
-fm_weck/resources/fm_tools/cseq.yml,sha256=3aLAjsNciWw3D59Z4HQqq9yCmZPfKR2QfDrLPltev_M,1911
-fm_weck/resources/fm_tools/dartagnan.yml,sha256=WmwkFHpXVcR5Uj__ZCI-PBU1EyWBDHEj3_ucYEA5eTU,3656
-fm_weck/resources/fm_tools/deagle.yml,sha256=rIrnasFudvuVcw3DJQTht2qfQ0xJM6Nv7jjdGL2Eh88,2343
-fm_weck/resources/fm_tools/divine.yml,sha256=Rf46JyFMnx-Fq6aeYdvdhDfBSG-u1iKhwqBC30JIqzA,1405
-fm_weck/resources/fm_tools/ebf.yml,sha256=Uk8FK_9l06vtDrxC4_hxbtcKDYvz-oT3apzD3BQSJQM,1570
-fm_weck/resources/fm_tools/emergentheta.yml,sha256=auci3Hx3pRbqcOMEA5MigiuDd2C89NsOkr0AjBuLdiE,1946
-fm_weck/resources/fm_tools/esbmc-incr.yml,sha256=HNFtBa6GVRMN2q8rdZwr-Sl_RJXVJK6Ct7J1cp8ePOA,2313
-fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=Wq8MmkwgS3fIre6KM7utOvw5G3T08unpPkcWjaYDllY,3008
-fm_weck/resources/fm_tools/fdse.yml,sha256=zwnG4m-Mr5c8kn8kJqOodmqXp75phEPBVXnSWZQXfXo,1694
-fm_weck/resources/fm_tools/fizzer.yml,sha256=s23sakUjYEQ7tHlB3tpeF4V87lq7G6ljxQZFbKKg1C8,2185
-fm_weck/resources/fm_tools/frama-c-sv.yml,sha256=DM-mY2tnrI86kjYfK8gHcPc-W6xjDo1tFUNBPDqYZB8,1942
-fm_weck/resources/fm_tools/fshell-witness2test.yml,sha256=cL4l64wM8gnT0z9HRlPc6N4Kja-G_UDom0SY1W6XcdY,1675
-fm_weck/resources/fm_tools/fusebmc-ia.yml,sha256=QG2xD4wj2gaCJfdn1Cd4T5W9x_2qkTZLZe2dFbQLQbY,2263
-fm_weck/resources/fm_tools/fusebmc.yml,sha256=LBAzJqZ7E-N-I-r2AoBVrO09iyrlbRmp8w8mc2Nwx6s,2468
-fm_weck/resources/fm_tools/gazer-theta.yml,sha256=X1uA60sw3zHGGE4Q6_hKZe7OHPBmDjQ02EU76mooG3M,1887
-fm_weck/resources/fm_tools/gdart-llvm.yml,sha256=Eo1ktWqWVVvUKtx-e4LBj8LkC-fb9oep6nuwTKUvxbI,1337
-fm_weck/resources/fm_tools/gdart.yml,sha256=Qc4QIpsfbVn3NNJmsDP5tPYn04R8yRWiePuvEcNeyeA,2557
-fm_weck/resources/fm_tools/goblint.yml,sha256=e-GYzyN74vTbFfpKIu-TpkOoosufz06T5hBk2fPWJns,3913
-fm_weck/resources/fm_tools/graves-par.yml,sha256=zEyOrGYQImNtUtIdELckIhIUmWZa9AzrHwzmGrmlarg,1643
-fm_weck/resources/fm_tools/graves.yml,sha256=8675v08QfZ0Pg5FADKaVQssjfZdF31IT4G2MgfrUUFw,2206
-fm_weck/resources/fm_tools/gwit.yml,sha256=cpgaPfb4rWerB9ONHj7Kt9Sbt_Zdzjw3TRc5m71jSJY,1714
-fm_weck/resources/fm_tools/hornix.yml,sha256=zs0kTyJnBtoS3XlmZ9m4uqTTH1Tlz4Ml9_0nrfbidC0,1268
-fm_weck/resources/fm_tools/hybridtiger.yml,sha256=i6Xt8CoWDqJddmPBevsM1Lw3UflV0iQdeuOhi9rL4jQ,1734
-fm_weck/resources/fm_tools/infer.yml,sha256=j45EQ9b3x6j_AkBQFRUwlTF7tJ53hYVqD-xgZbwJiwA,1779
-fm_weck/resources/fm_tools/java-ranger.yml,sha256=eUmJzjC8nHNqzdjrENdnwy16J1_KVKtbM-dppp33wfc,1925
-fm_weck/resources/fm_tools/jayhorn.yml,sha256=qql8RO_fHYA5p5CKWFEoQulBleEjHxP3jrr8XDEtp4o,1996
-fm_weck/resources/fm_tools/jbmc.yml,sha256=Ukl95wnlvwdFJ0yvc4bUHPMvk86bt_CrLhDGDSREbhA,2290
-fm_weck/resources/fm_tools/jcwit.yml,sha256=TKXIpKHbS1vA-UR5MmJQwsHywjXqFmjIs4pBXhCME4s,1236
-fm_weck/resources/fm_tools/jdart.yml,sha256=TkIS833W8E0dU8jot-njV5TYUljYT8UXwKsCeqobFmw,1417
-fm_weck/resources/fm_tools/key.yml,sha256=wse7rCv33m2z8nbm9Dk-jAipkMaF8S0LINGCzfNfpfE,2478
-fm_weck/resources/fm_tools/klee.yml,sha256=mQOPhXXinePHVfEfHE6TGdm_jRSIDLDhNehCjXB_6Ug,1476
-fm_weck/resources/fm_tools/kleef.yml,sha256=N2tlnvyW3Ks-idf6DQGaFyWD83slW70sXPdPz10xxyY,1644
-fm_weck/resources/fm_tools/korn.yml,sha256=4fIqhZ6mNMv47R3K919W1Ve7-xACBS8FkwgqDy5xMOs,2412
-fm_weck/resources/fm_tools/lazycseq.yml,sha256=hSOFLk1rHYqmNT0nVDMNDeiz5y46nyhN0jL3HuWBWH8,1500
-fm_weck/resources/fm_tools/legion-symcc.yml,sha256=iTwKHbrzJDFdhm95veCvEhyBeOgPu5Of1Av8CIt3SVg,1588
-fm_weck/resources/fm_tools/legion.yml,sha256=BirxDNH2_lVPaiHCSsCsVBB4rO8_36Xs87P14KQKDWg,1792
-fm_weck/resources/fm_tools/lf-checker.yml,sha256=VHzgysk7sR8J9LZaS584VkSVwm2-NJbrTvIHDJ2I8PY,1291
-fm_weck/resources/fm_tools/liv.yml,sha256=EQ6w2IeqHIrwsrH2N4adYUU0F-GKmlKSN28YwSsIxq8,2696
-fm_weck/resources/fm_tools/locksmith.yml,sha256=xNpjWnlQYdzzuhkPIjPEwEEnjcpb5EvXrH_Wv3Lgpys,1302
-fm_weck/resources/fm_tools/metaval++.yml,sha256=bieJGIoF3RXZU9u8bXEjtB1TdoFT21ulewtJxthYzCI,1341
-fm_weck/resources/fm_tools/metaval.yml,sha256=FEJP95WUnT_ENJwyQUbrbgx1iZT5fRDF4SfTaQ_0_Lw,3958
-fm_weck/resources/fm_tools/mlb.yml,sha256=wW4-6R6zIwfILJHghV4g7m_C1oUeb2IcidRTH8Rjf0E,1926
-fm_weck/resources/fm_tools/mopsa.yml,sha256=iwvJqm6VYed8uieY-sL0Q-CLfWIdLvu5SczMhmaYUyU,4091
-fm_weck/resources/fm_tools/nacpa.yml,sha256=ZF0L8V0rIctf0MTn1GyTCjS81hbajDH42AhP6Fx1XPs,1238
-fm_weck/resources/fm_tools/nitwit.yml,sha256=H7wi5uJYP7srsjhcCo_TyWnreMnc1Gy2hPTfLryb6bE,2049
-fm_weck/resources/fm_tools/owic.yml,sha256=bq_r95HKy-SJwWrYE1fdW0pbNs7wo4It-5qAlcO55yo,1565
-fm_weck/resources/fm_tools/pesco.yml,sha256=woNw-JeY-ytA961eeD7As2rdWmnZSls6ADNPJneHpVE,2254
-fm_weck/resources/fm_tools/pichecker.yml,sha256=UnL_NKgUpl-ot-AGLbA3dmBulSX1gNEVk3P42fm09MA,1551
-fm_weck/resources/fm_tools/pinaka.yml,sha256=kWm25wDW2nP3k1Q74W5NXqCBGg6GKJhahxdb3pRxNBY,1577
-fm_weck/resources/fm_tools/predatorhp.yml,sha256=ePjqrnMUdpl7rs7T-Fgkqt-XjIVECp0YEmGP_kmP0NY,2515
-fm_weck/resources/fm_tools/proton.yml,sha256=PJRm2aQBUVwdgMynwJICuyH-OgMQwrPh-FU0bmcDLdw,1581
-fm_weck/resources/fm_tools/prtest.yml,sha256=xOhT5c5XjWJOyG6bDj6Edz1Nh_rExxN6I24oC_FP-FE,1570
-fm_weck/resources/fm_tools/racerf.yml,sha256=zguVlErxBjrsyU0CDnh7lS9sDVY2ZxvjIb-IJ4jECI0,1335
-fm_weck/resources/fm_tools/relay-sv.yml,sha256=a9sikwprIe5VvB_YZOpKznNo8KJRTjOHQJTMpFyR5P8,1363
-fm_weck/resources/fm_tools/rizzer.yml,sha256=eN_xoGU8otoZDxBmKeOG0knMXihYCxs2OoTrtqAkkD0,1471
-fm_weck/resources/fm_tools/schema.yml,sha256=Q4XwYnMEC6c5-BYGY27KzQdOkiK4k_fc51Pinb6-apo,21177
-fm_weck/resources/fm_tools/sikraken.yml,sha256=sKNNDfy3IPLMRarH9SSZiS-p9C3O9I9_NYSBIPRcHpg,1070
-fm_weck/resources/fm_tools/spf.yml,sha256=Wu98jg1AOuvL8GGyPdpOeuElWdBv2xaziJ3kkfZvp9Y,1592
-fm_weck/resources/fm_tools/sv-sanitizers.yml,sha256=tisvbuYRXutJuk-rsqzRJ-3NSMBL29hHjym3eqE4MAI,1431
-fm_weck/resources/fm_tools/svf-svc.yml,sha256=xTpcB9cr62XK6JwWFZT-DIPu10KJ1KxjSWH4bkmEJXw,1228
-fm_weck/resources/fm_tools/swat.yml,sha256=gsvsFBeItbspzdXVVQ8TFWulbdYHzIHSmcKlWkWxGk0,1684
-fm_weck/resources/fm_tools/symbiotic-witch.yml,sha256=RdhCIfqkqGDNf4TzpahBaYxGgb7yM7SQp-wMIPPl5jY,2214
-fm_weck/resources/fm_tools/symbiotic.yml,sha256=0vjiC49OsmZWXOeLOSLyLif-epfXKCYs3gmIWshwdws,5575
-fm_weck/resources/fm_tools/testcov.yml,sha256=N-YdMtXr1QaDE3AbOManL5K03A9h8GrEipyszFArQDY,5051
-fm_weck/resources/fm_tools/theta.yml,sha256=T2xuX3IQY7m8PnP8SHjjszVWOdWGgImZ3Z2zyabuKCE,2492
-fm_weck/resources/fm_tools/thorn.yml,sha256=3cZmLiMqQM7M2QCHZ7sSt5APSw32MkmyJjaxr4Hiq00,1180
-fm_weck/resources/fm_tools/tracerx-wp.yml,sha256=uhhq8UpwaNg-TEYNMjU3wSf2Bci6xoW3h-RoyQban0M,1683
-fm_weck/resources/fm_tools/tracerx.yml,sha256=vmhyyvphCokLYo9WhjkuMSGGcJYbDOTB9WSdeErxG2c,2174
-fm_weck/resources/fm_tools/uautomizer.yml,sha256=nRgJzwQe-aDHtKg2Bo5eqtDERnkTAdae16rJHw-DPNQ,7564
-fm_weck/resources/fm_tools/ugemcutter.yml,sha256=Qg_iAobCncWBwGeBrtvbSFayJxNHA2sWOVnxkJC_IQI,2965
-fm_weck/resources/fm_tools/ukojak.yml,sha256=xE4O9f6qGT09o7IoknysKNKfJhqN9MM2pwR8bfjhto4,2931
-fm_weck/resources/fm_tools/ureferee.yml,sha256=zqK43mBv_tj0-d8r-nuRYgPweKMq_OqFi3F13aaWuAc,2355
-fm_weck/resources/fm_tools/utaipan.yml,sha256=V_U-IdV3-zxqndqioicDGWj-csD7k1CZ3tjwBJEU87I,3178
-fm_weck/resources/fm_tools/utestgen.yml,sha256=3klxcc8TngqOA-MAJIqygKn94qE8yXqy9pQyO-8aLgo,2187
-fm_weck/resources/fm_tools/veriabs.yml,sha256=2642STW600gTIko3kAxBHXnIQO9QMkGTMmEzWeITs_k,2460
-fm_weck/resources/fm_tools/veriabsl.yml,sha256=xfcskuIPtEQs66sc0d5B0hipbehN4RfnfHVLtMUyQuw,3546
-fm_weck/resources/fm_tools/verifuzz.yml,sha256=381Zfa58W3grHOFXxHohCRVslEq-zR-a4zrc4_X1rYc,20924
-fm_weck/resources/fm_tools/verioover.yml,sha256=I4s1PG0JXL0qoqK5iPaoPbhD5RZjIEpDITbFutc9eXQ,1267
-fm_weck/resources/fm_tools/wasp-c.yml,sha256=lvDrr-nB6vJ3nbkJ0UzPXpy65frAfBHLSKrV8FXO1Hk,1597
-fm_weck/resources/fm_tools/wit4java.yml,sha256=nx7G_c21QMhQDi96x9d9Z-utt-Pk4V-CVvT9EVOKx9g,1622
-fm_weck/resources/fm_tools/witch.yml,sha256=kMIsYl7rQLTJzEiMDODPzFOloNXetzx5WSYbymOMV94,1591
-fm_weck/resources/fm_tools/witnesslint.yml,sha256=qWnjwCtIIMaLnsNwOOkMcliXGSHCPssQVHxyEm4kQtE,5918
-fm_weck/resources/fm_tools/witnessmap.yml,sha256=m8LR69HU87ykTW1LBEk2PnEzT6Lxdd4ziRlGS2Hazz0,1104
-fm_weck-1.4.5.dist-info/METADATA,sha256=N4AHVz5YqKzJ2NntHb2Y_-LAwo0iKAnRredGm5wG4ws,2771
-fm_weck-1.4.5.dist-info/WHEEL,sha256=C2FUgwZgiLbznR-k0b_5k3Ai_1aASOXDss3lzCUsUug,87
-fm_weck-1.4.5.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
-fm_weck-1.4.5.dist-info/RECORD,,