fm-weck 1.4.1__py3-none-any.whl → 1.4.2__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.4.1"
+__version__ = "1.4.2"

fm_weck/cli.py

@@ -202,6 +202,9 @@ def parse(raw_args: list[str]) -> Tuple[Callable[[], None], Namespace]:
     shell.set_defaults(main=main_shell)
 
     install = subparsers.add_parser("install", aliases=["i"], help="Download and unpack a TOOL for later use.")
+    install.add_argument(
+        "-d", "--destination", action="store", help="The destination directory.", default=None, type=Path
+    )
     add_tool_arg(install, nargs="+")
     install.set_defaults(main=main_install)
 
@@ -378,6 +381,9 @@ def main_manual(args: argparse.Namespace):
 def main_install(args: argparse.Namespace):
     from .serve import setup_fm_tool
 
+    if args.destination:
+        Config()._config["defaults"]["cache_location"] = args.destination.resolve()
+
     for tool in args.TOOL:
         try:
             fm_data = resolve_tool(tool)

fm_weck/engine.py

@@ -44,6 +44,7 @@ RESERVED_LOCATIONS = frozenset([CACHE_MOUNT_LOCATION, CWD_MOUNT_LOCATION, OUTPUT
 class Engine(ABC):
     interactive: bool = False
     add_benchexec_capabilities: bool = False
+    add_mounting_capabilities: bool = True
     image: Optional[str] = None
     dry_run: bool = False
 
@@ -112,8 +113,6 @@ class Engine(ABC):
         return [
             "--entrypoint",
             '[""]',
-            "--cap-add",
-            "SYS_ADMIN",
             "-v",
             f"{Path.cwd().absolute()}:{CWD_MOUNT_LOCATION}",
             "-v",
@@ -125,6 +124,12 @@ class Engine(ABC):
             "--rm",
         ]
 
+    def mounting_capabilities(self):
+        return [
+            "--cap-add",
+            "SYS_ADMIN",
+        ]
+
     def _move_output(self):
         if not self.output_dir.exists():
             self.output_dir.mkdir()
@@ -139,6 +144,9 @@ class Engine(ABC):
         if self.add_benchexec_capabilities:
             base += self.benchexec_capabilities()
 
+        if self.add_mounting_capabilities:
+            base += self.mounting_capabilities()
+
         base += self.setup_command()
         base += self.add_environment()
 
@@ -342,8 +350,8 @@ class Podman(Engine):
 
     def benchexec_capabilities(self):
         return [
-            "--annotation",
-            "run.oci.keep_original_groups=1",
+            # "--annotation",
+            # "run.oci.keep_original_groups=1",
             "--cgroups=split",
             "--security-opt",
             "unmask=/sys/fs/cgroup",
@@ -396,8 +404,6 @@ class Docker(Engine):
         return [
             "--entrypoint",
             "/bin/sh",
-            "--cap-add",
-            "SYS_ADMIN",
             "-v",
             f"{Path.cwd().absolute()}:{CWD_MOUNT_LOCATION}",
             "-v",

fm_weck/resources/fm_tools/aise.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14162938"
+    doi: "10.5281/zenodo.14183670"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "svcomp24"

fm_weck/resources/fm_tools/aprove.yml

@@ -1,72 +1,72 @@
-name: AProVE (KoAT + LoAT)
-input_languages:
-  - C
-project_url: https://aprove.informatik.rwth-aachen.de/
-spdx_license_identifier: AProVE license
-benchexec_toolinfo_module: benchexec.tools.aprove
-fmtools_format_version: "2.0"
-fmtools_entry_maintainers:
-  - nilslommen
-  - JCKassing
-
-maintainers:
-  - orcid: 0000-0003-3187-9217
-    name: Nils Lommen
-    institution: RWTH Aachen
-    country: Germany
-    url: https://verify.rwth-aachen.de/nlommen/
-  - orcid: 0009-0001-9972-2470
-    name: Jan-Christoph Kassing
-    institution: RWTH Aachen
-    country: Germany
-    url: https://verify.rwth-aachen.de/jckassing/
-
-versions:
-  - version: "svcomp25"
-    doi: "10.5281/zenodo.14168633"
-    benchexec_toolinfo_options: []
-    required_ubuntu_packages:
-      - openjdk-17-jre-headless
-    base_container_images:
-      - docker.io/ubuntu:20.04
-    full_container_images:
-      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
-  - version: "svcomp22"
-    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2022/raw/svcomp22/2022/aprove.zip"
-    benchexec_toolinfo_options: []
-    required_ubuntu_packages: []
-    base_container_images:
-      - docker.io/ubuntu:20.04
-    full_container_images:
-      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
-
-competition_participations:
-  - competition: "SV-COMP 2025"
-    track: "Verification"
-    tool_version: "svcomp25"
-    jury_member:
-      orcid: 0000-0003-3187-9217
-      name: Nils Lommen
-      institution: RWTH Aachen
-      country: Germany
-      url: https://verify.rwth-aachen.de/nlommen/
-  - competition: "SV-COMP 2022"
-    track: "Verification"
-    tool_version: "svcomp22"
-    jury_member:
-      orcid: 0000-0003-2852-9830
-      name: Jera Hensel
-      institution: RWTH Aachen
-      country: Germany
-      url: https://verify.rwth-aachen.de/jhensel/
-
-techniques:
-  - Ranking Functions
-
-frameworks_solvers:
-  - Z3
-
-literature:
-  - doi: 10.1007/978-3-030-99527-0_21
-    title: "AProVE: Non-Termination Witnesses for C Programs (Competition Contribution)"
-    year: 2022
+name: AProVE (KoAT + LoAT)
+input_languages:
+  - C
+project_url: https://aprove.informatik.rwth-aachen.de/
+spdx_license_identifier: AProVE license
+benchexec_toolinfo_module: benchexec.tools.aprove
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - nilslommen
+  - JCKassing
+
+maintainers:
+  - orcid: 0000-0003-3187-9217
+    name: Nils Lommen
+    institution: RWTH Aachen
+    country: Germany
+    url: https://verify.rwth-aachen.de/nlommen/
+  - orcid: 0009-0001-9972-2470
+    name: Jan-Christoph Kassing
+    institution: RWTH Aachen
+    country: Germany
+    url: https://verify.rwth-aachen.de/jckassing/
+
+versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.14192730"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:20.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
+  - version: "svcomp22"
+    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2022/raw/svcomp22/2022/aprove.zip"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:20.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-3187-9217
+      name: Nils Lommen
+      institution: RWTH Aachen
+      country: Germany
+      url: https://verify.rwth-aachen.de/nlommen/
+  - competition: "SV-COMP 2022"
+    track: "Verification"
+    tool_version: "svcomp22"
+    jury_member:
+      orcid: 0000-0003-2852-9830
+      name: Jera Hensel
+      institution: RWTH Aachen
+      country: Germany
+      url: https://verify.rwth-aachen.de/jhensel/
+
+techniques:
+  - Ranking Functions
+
+frameworks_solvers:
+  - Z3
+
+literature:
+  - doi: 10.1007/978-3-030-99527-0_21
+    title: "AProVE: Non-Termination Witnesses for C Programs (Competition Contribution)"
+    year: 2022

fm_weck/resources/fm_tools/bubaak-split.yml

@@ -19,10 +19,10 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.13958522"
-    benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-cfg", "splitting-svcomp24"]
+    doi: "10.5281/zenodo.14188308"
+    benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-cfg", "splitting-svcomp25"]
     required_ubuntu_packages:
-      - clang
+      - clang-14
       - python3
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202207"

fm_weck/resources/fm_tools/bubaak.yml

@@ -18,10 +18,10 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.13958522"
+    doi: "10.5281/zenodo.14188308"
     benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-timeout", "900"]
     required_ubuntu_packages:
-      - clang
+      - clang-14
       - python3
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202207"

fm_weck/resources/fm_tools/cpachecker.yml

@@ -29,22 +29,22 @@ maintainers:
     url: https://www.sosy-lab.org/people/wendler/
 
 versions:
-  - version: "3.1-svn-0a5c0e8a85"
-    doi: 10.5281/zenodo.14169834
+  - version: "3.1-svn-a4ef7da21b"
+    doi: 10.5281/zenodo.14194581
     benchexec_toolinfo_options: ["--svcomp25", "--heap", "10000M", "--benchmark", "--timelimit", "900 s"]
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
     base_container_images:
       - docker.io/ubuntu:22.04
-  - version: "3.1-svn-0a5c0e8a85-validation-correctness"
-    doi: 10.5281/zenodo.14169834
+  - version: "3.1-svn-a4ef7da21b-validation-correctness"
+    doi: 10.5281/zenodo.14194581
     benchexec_toolinfo_options: ["--correctness-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true"]
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
     base_container_images:
       - docker.io/ubuntu:22.04
-  - version: "3.1-svn-0a5c0e8a85-validation-violation"
-    doi: 10.5281/zenodo.14169834
+  - version: "3.1-svn-a4ef7da21b-validation-violation"
+    doi: 10.5281/zenodo.14194581
     benchexec_toolinfo_options: ["--violation-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true", "--option", "cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc", "--option", "cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc", "--option", "cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc", "--option", "cpa.smg.deallocationFunctions=free,kfree,kfree_const"]
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
@@ -105,7 +105,7 @@ versions:
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    tool_version: "3.1-svn-0a5c0e8a85"
+    tool_version: "3.1-svn-a4ef7da21b"
     jury_member:
       orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
@@ -114,7 +114,7 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Correctness Witnesses 1.0"
-    tool_version: "3.1-svn-0a5c0e8a85-validation-correctness"
+    tool_version: "3.1-svn-a4ef7da21b-validation-correctness"
     jury_member:
       orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
@@ -123,7 +123,7 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Correctness Witnesses 2.0"
-    tool_version: "3.1-svn-0a5c0e8a85-validation-correctness"
+    tool_version: "3.1-svn-a4ef7da21b-validation-correctness"
     jury_member:
       orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
@@ -132,7 +132,7 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Violation Witnesses 1.0"
-    tool_version: "3.1-svn-0a5c0e8a85-validation-violation"
+    tool_version: "3.1-svn-a4ef7da21b-validation-violation"
     jury_member:
       orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
@@ -141,7 +141,7 @@ competition_participations:
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
     track: "Validation of Violation Witnesses 2.0"
-    tool_version: "3.1-svn-0a5c0e8a85-validation-violation"
+    tool_version: "3.1-svn-a4ef7da21b-validation-violation"
     jury_member:
       orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld

fm_weck/resources/fm_tools/deagle.yml

@@ -20,10 +20,15 @@ maintainers:
     institution: Tsinghua University
     country: China
     url: https://thufv.github.io/team/
+  - orcid: 0009-0007-0437-9141
+    name: Pei Wang
+    institution: Tsinghua University
+    country: China
+    url: https://thufv.github.io/team/
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14169280
+    doi: 10.5281/zenodo.14189745
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "svcomp24"

fm_weck/resources/fm_tools/emergentheta.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14168248
+    doi: 10.5281/zenodo.14194484
     benchexec_toolinfo_options: ["--svcomp", "--portfolio", "EMERGENT", "--loglevel", "RESULT"]
     required_ubuntu_packages:
       - openjdk-17-jre-headless

fm_weck/resources/fm_tools/esbmc-incr.yml

@@ -19,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14165983
+    doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
     required_ubuntu_packages: []
   - version: "svcomp22"
@@ -27,7 +27,7 @@ versions:
     benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
     required_ubuntu_packages: []
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14165983
+    doi: 10.5281/zenodo.14191098
     benchexec_toolinfo_options: ["-s", "incr", "-o", "condition"]
     required_ubuntu_packages: []
 

fm_weck/resources/fm_tools/esbmc-kind.yml

@@ -19,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14165983"
+    doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ["-s", "kinduction"]
     required_ubuntu_packages: []
   - version: "svcomp24"
@@ -31,7 +31,7 @@ versions:
     benchexec_toolinfo_options: ["-s", "kinduction"]
     required_ubuntu_packages: []
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14165983
+    doi: 10.5281/zenodo.14191098
     benchexec_toolinfo_options: ["-s", "kinduction","-o","branch"]
     required_ubuntu_packages: []
   - version: "testcomp23"

fm_weck/resources/fm_tools/fdse.yml

@@ -1,8 +1,8 @@
 name: FDSE
 input_languages:
   - C
-project_url: https://github.com/passengerZ/FDSE
-repository_url: https://github.com/passengerZ/FDSE
+project_url: https://github.com/zbchen/fdse-test-comp
+repository_url: https://github.com/zbchen/fdse-test-comp
 spdx_license_identifier: Apache-2.0
 benchexec_toolinfo_module: "fdse.py"
 fmtools_format_version: "2.0"
@@ -10,12 +10,17 @@ fmtools_entry_maintainers:
   - passengerzgf
 
 maintainers:
-  - name: Zhenbang Chen
+  - orcid: 0000-0002-4066-7892
+    name: Zhenbang Chen
     institution: National University of Defense Technology
     country: China
     url: https://zbchen.github.io/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14192848
+    benchexec_toolinfo_options: ["--testcomp"]
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: 10.5281/zenodo.10203198
     benchexec_toolinfo_options: ["--testcomp"]
@@ -24,17 +29,18 @@ versions:
 competition_participations:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
-    hors-concours: true
-    tool_version: "testcomp24"
+    tool_version: "testcomp25"
     jury_member:
-      name: Hors Concours
-      institution: --
-      country: --
-      url: null
+      orcid: 0000-0002-4066-7892
+      name: Zhenbang Chen
+      institution: National University of Defense Technology
+      country: China
+      url: https://zbchen.github.io/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
     jury_member:
+      orcid: 0000-0002-4066-7892
       name: Zhenbang Chen
       institution: National University of Defense Technology
       country: China
@@ -47,3 +53,8 @@ techniques:
   - Guidance by Coverage Measures
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-031-57259-3_16
+    title: "FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)"
+    year: 2024

fm_weck/resources/fm_tools/fizzer.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14064195
+    doi: 10.5281/zenodo.14192915
     benchexec_toolinfo_options: [
       "--max_seconds", "865",
       "--optimizer_max_seconds", "30",
@@ -30,7 +30,8 @@ versions:
       "--stdin_model", "stdin_replay_bytes_then_repeat_zero",
       "--test_type", "testcomp"
       ]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - g++-multilib
   - version: "testcomp24"
     doi: 10.5281/zenodo.10183158
     benchexec_toolinfo_options: [

fm_weck/resources/fm_tools/hornix.yml

@@ -28,7 +28,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.13950398"
+    doi: "10.5281/zenodo.14198550"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 

fm_weck/resources/fm_tools/java-ranger.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14143727
+    doi: 10.5281/zenodo.14183043
     benchexec_toolinfo_options: [ ]
     required_ubuntu_packages:
       - openjdk-8-jre-headless

fm_weck/resources/fm_tools/jbmc.yml

@@ -20,15 +20,18 @@ versions:
   - version: "svcomp25"
     doi: 10.5281/zenodo.13975618
     benchexec_toolinfo_options: ["--graphml-witness", "witness.graphml"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - openjdk-8-jdk-headless
   - version: "svcomp24"
     doi: 10.5281/zenodo.10198951
     benchexec_toolinfo_options: ["--graphml-witness", "witness.graphml"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - openjdk-8-jdk-headless
   - version: "svcomp23"
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/jbmc.zip"
     benchexec_toolinfo_options: []
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - openjdk-8-jdk-headless
 
 competition_participations:
   - competition: "SV-COMP 2025"

fm_weck/resources/fm_tools/kleef.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: "10.5281/zenodo.13964451"
+    doi: "10.5281/zenodo.14188533"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "testcomp24"

fm_weck/resources/fm_tools/metaval++.yml

@@ -21,8 +21,8 @@ maintainers:
 
 versions:
   - version: "svcomp25-correctness"
-    doi: 10.5281/zenodo.13986094
-    benchexec_toolinfo_options: ['--backend', 'framac-wp']
+    doi: 10.5281/zenodo.14194293
+    benchexec_toolinfo_options: ['--backend', 'framac-wp', '--debug']
     required_ubuntu_packages: []
 
 competition_participations:

fm_weck/resources/fm_tools/metaval.yml

@@ -20,12 +20,12 @@ maintainers:
 
 versions:
   - version: "svcomp25-correctness"
-    doi: 10.5281/zenodo.14007852
+    doi: 10.5281/zenodo.14170354
     benchexec_toolinfo_options: ['--metavalWitnessType', 'correctness_witness', '--metavalVerifierBackend', 'cpachecker', '--svcomp24', '--heap', '5000M', '--benchmark', '--timelimit', '900s']
     required_ubuntu_packages: []
   - version: "svcomp25-violation"
-    doi: 10.5281/zenodo.14007852
-    benchexec_toolinfo_options: ['--metavalWitnessType', 'violation_witness', '--metavalVerifierBackend', 'cpachecker', '--svcomp24', '--heap', '5000M', '--benchmark', '--timelimit', '90s']
+    doi: 10.5281/zenodo.14170354
+    benchexec_toolinfo_options: ['--metavalWitnessType', 'violation_witness', '--metavalVerifierBackend', 'cpachecker', '--predicateAnalysis', '--heap', '5000M', '--benchmark', '--timelimit', '90s']
     required_ubuntu_packages: []
   - version: "svcomp24-correctness"
     doi: 10.5281/zenodo.10137150

fm_weck/resources/fm_tools/mlb.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.10210608"
+    doi: "10.5281/zenodo.10419554"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-8-jre-headless

fm_weck/resources/fm_tools/mopsa.yml

@@ -20,7 +20,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14093204
+    doi: 10.5281/zenodo.14194736
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang
@@ -33,7 +33,7 @@ versions:
       - llvm-dev
       - libflint-dev
   - version: "svcomp25-validation-correctness"
-    doi: 10.5281/zenodo.14093204
+    doi: 10.5281/zenodo.14194736
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang

fm_weck/resources/fm_tools/nacpa.yml

@@ -24,7 +24,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.13979486"
+    doi: "10.5281/zenodo.14192312"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
     full_container_images:

fm_weck/resources/fm_tools/racerf.yml

@@ -1,48 +1,48 @@
-name: RacerF
-input_languages:
-  - C
-project_url: https://github.com/TDacik/Deadlock_Racer
-repository_url: https://github.com/TDacik/Deadlock_Racer
-spdx_license_identifier: MIT
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/racerf.py"
-fmtools_format_version: "2.0"
-fmtools_entry_maintainers:
-  - TDacik
-
-maintainers:
-  - orcid: 0000-0003-4083-8943
-    name: Tomáš Dacík
-    institution: Brno University of Technology
-    country: Czech Republic
-    url: https://www.fit.vut.cz/person/idacik/.en
-  - orcid: 0000-0002-2746-8792
-    name: Tomáš Vojnar
-    institution: Masaryk University, Brno University of Technology
-    country: Czech Republic
-    url: https://www.muni.cz/en/people/134390-tomas-vojnar
-
-versions:
-  - version: "svcomp25"
-    doi: 10.5281/zenodo.14054647
-    benchexec_toolinfo_options: []
-    required_ubuntu_packages:
-      - gcc
-      - python3
-
-competition_participations:
-  - competition: "SV-COMP 2025"
-    track: "Verification"
-    tool_version: "svcomp25"
-    jury_member:
-      orcid: 0000-0003-4083-8943
-      name: Tomáš Dacík
-      institution: Brno University of Technology
-      country: Czech Republic
-      url: https://www.fit.vut.cz/person/idacik/.en
-
-techniques:
-  - Concurrency Support
-
-frameworks_solvers: []
-
-literature: []
+name: RacerF
+input_languages:
+  - C
+project_url: https://github.com/TDacik/Deadlock_Racer
+repository_url: https://github.com/TDacik/Deadlock_Racer
+spdx_license_identifier: MIT
+benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/racerf.py"
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - TDacik
+
+maintainers:
+  - orcid: 0000-0003-4083-8943
+    name: Tomáš Dacík
+    institution: Brno University of Technology
+    country: Czech Republic
+    url: https://www.fit.vut.cz/person/idacik/.en
+  - orcid: 0000-0002-2746-8792
+    name: Tomáš Vojnar
+    institution: Masaryk University, Brno University of Technology
+    country: Czech Republic
+    url: https://www.muni.cz/en/people/134390-tomas-vojnar
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14174122
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - gcc
+      - python3
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-4083-8943
+      name: Tomáš Dacík
+      institution: Brno University of Technology
+      country: Czech Republic
+      url: https://www.fit.vut.cz/person/idacik/.en
+
+techniques:
+  - Concurrency Support
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/sikraken.yml

@@ -18,15 +18,15 @@ maintainers:
 
 
 versions:
-  - version: "1.0.2"   
+  - version: "1.0.3"   
     benchexec_toolinfo_options: ["release", "budget[900]"]
     required_ubuntu_packages: []
-    doi: "10.5281/zenodo.14176165"
+    doi: "10.5281/zenodo.14194599"
 
 competition_participations:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
-    tool_version: "1.0.2"
+    tool_version: "1.0.3"
     jury_member:
       orcid: 0000-0001-6338-6367
       name: Christophe Meudec

fm_weck/resources/fm_tools/sv-sanitizers.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14141192
+    doi: 10.5281/zenodo.14172703
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "svcomp24"

fm_weck/resources/fm_tools/svf-svc.yml

@@ -23,7 +23,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14029473
+    doi: 10.5281/zenodo.14194879
     benchexec_toolinfo_options: []
     required_ubuntu_packages: ["python3-yaml"]
 

fm_weck/resources/fm_tools/symbiotic.yml

@@ -18,18 +18,19 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14035991"
+    doi: "10.5281/zenodo.14183154"
     benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
     required_ubuntu_packages:
       - python3
       - python3-lxml
+      - python3-clang
   - version: "testcomp25"
-    doi: "10.5281/zenodo.14035991"
+    doi: "10.5281/zenodo.14183154"
     benchexec_toolinfo_options: ['--test-comp']
     required_ubuntu_packages:
       - python3
       - python3-lxml
-
+      - python3-clang
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202594"
     benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']

fm_weck/resources/fm_tools/theta.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14168247
+    doi: 10.5281/zenodo.14194483
     benchexec_toolinfo_options:
       ["--svcomp", "--portfolio", "STABLE", "--loglevel", "RESULT"]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/thorn.yml

@@ -18,7 +18,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14168249
+    doi: 10.5281/zenodo.14194485
     benchexec_toolinfo_options: ["--svcomp", "--portfolio", "HORN", "--loglevel", "RESULT"]
     required_ubuntu_packages:
       - openjdk-17-jre-headless

fm_weck/resources/fm_tools/tracerx-wp.yml

@@ -20,7 +20,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: "10.5281/zenodo.14066108"
+    doi: "10.5281/zenodo.14193187"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "testcomp24"

fm_weck/resources/fm_tools/tracerx.yml

@@ -20,7 +20,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14066128
+    doi: 10.5281/zenodo.14193195
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "testcomp24"

fm_weck/resources/fm_tools/uautomizer.yml

@@ -41,18 +41,18 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110286
+    doi: 10.5281/zenodo.14185457
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless
   - version: svcomp25-correctness
-    doi: 10.5281/zenodo.14110286
+    doi: 10.5281/zenodo.14185457
     benchexec_toolinfo_options:
       [--full-output, --witness-type, correctness_witness]
     required_ubuntu_packages:
       - openjdk-21-jre-headless
   - version: svcomp25-violation
-    doi: 10.5281/zenodo.14110286
+    doi: 10.5281/zenodo.14185457
     benchexec_toolinfo_options:
       [--full-output, --witness-type, violation_witness]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -32,7 +32,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110331
+    doi: 10.5281/zenodo.14185473
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/ukojak.yml

@@ -38,7 +38,7 @@ maintainers:
 
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110299
+    doi: 10.5281/zenodo.14185465
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/ureferee.yml

@@ -34,7 +34,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25-correctness
-    doi: 10.5281/zenodo.14110344
+    doi: 10.5281/zenodo.14185478
     benchexec_toolinfo_options:
       [--full-output, --witness-type, correctness_witness]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/utaipan.yml

@@ -32,7 +32,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110314
+    doi: 10.5281/zenodo.14185470
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/utestgen.yml

@@ -8,6 +8,7 @@ benchexec_toolinfo_module: "ultimatetestgen.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - danieldietsch
+  - MaxBarth95
 
 maintainers:
   - name: Max Barth
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: 10.5281/zenodo.13951704
+    doi: 10.5281/zenodo.14185070
     benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--rcfgbuilder.reuse.mode.for.test.generation', 'ReuseUNSATmatchPrefix','--full-output']
     required_ubuntu_packages:
       - openjdk-11-jre-headless

fm_weck/resources/fm_tools/witnessmap.yml

@@ -0,0 +1,45 @@
+name: WitnessMap
+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
+benchexec_toolinfo_module: benchexec.tools.witnessmap
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - dbeyer
+  - Marianl
+  - PhilippWendler
+
+maintainers:
+  - name: Marian Lingsch-Rosenfeld
+    orcid: 0000-0002-8172-3184
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14197484
+    benchexec_toolinfo_options: [ ]
+    required_ubuntu_packages: []
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+
+techniques: []
+
+frameworks_solvers: []
+
+used_actors: []
+
+literature: []

fm_weck/runexec_mode.py

@@ -31,6 +31,7 @@ def run_runexec(
 
     engine = Engine.from_config(configuration)
     engine.add_benchexec_capabilities = True
+    engine.add_mounting_capabilities = False
 
     if benchexec_package is not None:
         engine.mount(benchexec_package.parent.absolute(), "/home/__fm_weck_benchexec")

fm_weck/runexec_util.py

@@ -19,8 +19,9 @@ def mountable_absolute_paths_of_command(cwd: Path, command: List[str]) -> Iterab
     """
 
     # FIXME: Disallowing home is a temporary solution to get this to work in the BenchCloud.
-    # The benchcloud will eventually hide /home, so it can be omitted in this case. But potential users should be aware of this.
-    no_mount = {"/", "/dev", "/proc", "/sys", "/home"}
+    # The benchcloud will eventually hide /home, so it can be omitted in this case.
+    # But potential users should be aware of this.
+    no_mount = {"/", "/dev", "/proc", "/sys", "/home", "/sys/fs/cgroup"}
 
     command_iter = (arg for arg in command if arg not in no_mount)
     seen = set()

{fm_weck-1.4.1.dist-info → fm_weck-1.4.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: fm-weck
-Version: 1.4.1
+Version: 1.4.2
 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.4.1.dist-info → fm_weck-1.4.2.dist-info}/RECORD

@@ -1,12 +1,12 @@
-fm_weck/__init__.py,sha256=6BjMyFuKJu5IVYu0lzaJ8CIeU3IhVmDh8zHvTQ9qbuw,351
+fm_weck/__init__.py,sha256=tNl67OBaKbFJMSpP4FP3f8leCvKSUt9XkYNoI1DPTyk,351
 fm_weck/__main__.py,sha256=E7z4-9t6To3hbIPjRPu6iW17YCrtqpDSbFSpd9pX4NA,350
-fm_weck/cli.py,sha256=uTQjda7poMQvnDW-objnyYIKpzndm_GjmkNf9cst36s,13328
+fm_weck/cli.py,sha256=GtDI67CUzyz3ZLoAObBDu8BPAiGTU21G1ux-pPMmO9k,13576
 fm_weck/config.py,sha256=AAp5qPZfx2Gh-43jySzfHzHOEmbduHJalA7guV9SIzI,7340
-fm_weck/engine.py,sha256=9HJ_7ETW1pQiG5F0TvWOHQtWK4nH1dndm5bRcyuL5TA,13665
+fm_weck/engine.py,sha256=619UUCdM25BOnG00LNDaVgQbEYpk2OgNSse0D25_ohs,13820
 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=AK2j0KxOIMgRTxMSVU3FGrE-GadfZH9uQrMKIVVEB9g,1733
-fm_weck/runexec_util.py,sha256=AhXj5weNAfnUNdRuj5zEqfQWz7WgpsoOspCwfru-HNs,1346
+fm_weck/runexec_mode.py,sha256=72PvHBBPzHvi6Je0gmn_y0p9qzMcRwTjBF2I_Zubeko,1778
+fm_weck/runexec_util.py,sha256=YBvVIPpmEousZVxbZ5NS8jzpKPLyws31kIFE2z3Ki2E,1370
 fm_weck/serve.py,sha256=YGGT6ULClC1vifARr5Jl0LZgS72il7nMeoo6tf76sL4,5195
 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
@@ -37,11 +37,11 @@ fm_weck/resources/properties/valid-memcleanup.prp.license,sha256=KzWZF1bpljIbdvw
 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=Fp7BV0YQ2XxYPe09Dz2c0MB0GiyLbipdCWLG3iBK_ts,2732
-fm_weck/resources/fm_tools/aise.yml,sha256=v6GdO8I7HpyoMmjvit7FT9WRtPYEW8hQyT8GDpw_ZLA,1660
-fm_weck/resources/fm_tools/aprove.yml,sha256=sCnHcHE5tI7djloBT6c2rAaRBrBZfhbCJfEb-eS28Gs,2065
+fm_weck/resources/fm_tools/aise.yml,sha256=tjtUDCl-qflFH7ruVVAIhk61UT-BUc62y0jrx9N6lG4,1660
+fm_weck/resources/fm_tools/aprove.yml,sha256=YQYo6XVkP13oAbMX9z_CSi7h6Hxm_m1jfmuR_M6k5y4,2137
 fm_weck/resources/fm_tools/brick.yml,sha256=Gl_bqmkaQwT5AqvQd9-zoS7U_i-QqxN4_QABEuOX3fA,2017
-fm_weck/resources/fm_tools/bubaak-split.yml,sha256=j6CHlSSOsq9523WwhwA4vYMb6uLlnpvJG74DF5Nvdos,1881
-fm_weck/resources/fm_tools/bubaak.yml,sha256=fSljIqiiqAbTuYkX_VpXZ6oabGV-cqH6K90dRCaO8H8,2177
+fm_weck/resources/fm_tools/bubaak-split.yml,sha256=FvKng0Pg4zBmarBzuoEfzxDT_hFtnG0-90lhzel1XfM,1884
+fm_weck/resources/fm_tools/bubaak.yml,sha256=m7xExnxjs9Bx1luvY1DXJagUuGNm-5VvRyrM1rx7Qcg,2180
 fm_weck/resources/fm_tools/cbmc.yml,sha256=zLZmilrMzc5jZaCKnxvFN6JWe82QlQ4350wh2wdUC-Q,1981
 fm_weck/resources/fm_tools/cetfuzz.yml,sha256=8Nx_zpCjjPs5bAqVPdY8NnEeMOd4dkIXFy8VHjUxdZw,1799
 fm_weck/resources/fm_tools/coastal.yml,sha256=xWMZlLKarh0vKu_22H6hEZ75eBWr_I3rP8hjMhiwIRU,1529
@@ -54,19 +54,19 @@ fm_weck/resources/fm_tools/cpa-bam-bnb.yml,sha256=rVVzp8fpjoNX4uLFXnWVZo-oJkOG9a
 fm_weck/resources/fm_tools/cpa-bam-smg.yml,sha256=RopWvy9KbagoJ2OO_aqq3klPKZ4ikUtoX6K0AK7JzQY,1628
 fm_weck/resources/fm_tools/cpa-lockator.yml,sha256=oUp9qpyb9rckf5J9_LkPU2pFCm9k20KhAr04NGlr-QY,1611
 fm_weck/resources/fm_tools/cpa-witness2test.yml,sha256=z1z7vdVRJkT61XNHz9WOKREh4COauuX_vWpJY-EHa50,3160
-fm_weck/resources/fm_tools/cpachecker.yml,sha256=S-hBiKBvkNCW7SB9iDlt5MD33w4c5pcXG7MXag4RcRo,10626
+fm_weck/resources/fm_tools/cpachecker.yml,sha256=uryBwa5AI8rLpxmH5u1IMTn0EanIpWBuE_ECcEew-7o,10626
 fm_weck/resources/fm_tools/cpv.yml,sha256=YqpUwpBwv28t8IyyCB4zFc9T6s2UHO4g5MfREn2XUJg,2214
 fm_weck/resources/fm_tools/crux.yml,sha256=Amu9IpEvJFUR5mJzU4ZsO3LBbLaY2U1c2IiVc6Xc4SA,1326
 fm_weck/resources/fm_tools/cseq.yml,sha256=VUhKPwAS_sjP3U3JBCACa2JDfu28V8a8P2-301V5ee0,1902
 fm_weck/resources/fm_tools/dartagnan.yml,sha256=Y9NAvtlk4HHBQV4RJONti8jTw6RtSBXn5k0ynbK7a3Y,3642
-fm_weck/resources/fm_tools/deagle.yml,sha256=S5dA8Y3lEmhKMzV57q6yaTlL7OXX9rbddZI_wWjmDYo,2187
+fm_weck/resources/fm_tools/deagle.yml,sha256=YLVtiyhqWFpxNuVuJnpOM5j9HAMBAoM7xbIvbhxR44U,2332
 fm_weck/resources/fm_tools/divine.yml,sha256=qYloI7ri8PUFQt_CQ52x6N59Xtyoi4g6rNb7t5tX2y8,1394
 fm_weck/resources/fm_tools/ebf.yml,sha256=qUw4c3GIT1pAZ7fPbmLk1VDoLVJheI_X9_xvpbt1cko,1562
-fm_weck/resources/fm_tools/emergentheta.yml,sha256=SQnzHyND_ZGfIrRBbiAuXChNa-ZD-ewDkn9_3hdu3zE,1929
-fm_weck/resources/fm_tools/esbmc-incr.yml,sha256=gMtXHG2AIdvjtyIwDK5feC303NHcut-ryiYTghQch3U,2298
-fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=fUam1ouCLhbeatvgNJZDHIjqbZiT-NBMfrxEG5DHhqA,2995
-fm_weck/resources/fm_tools/fdse.yml,sha256=WeJ1CLaIT47KZdAtEuWS_QCrb-D-tuTZHb_piYM7LhI,1229
-fm_weck/resources/fm_tools/fizzer.yml,sha256=7J1_uNyHacjcMRHDkz69QibQmiRDDw5I9mgRCLXtmOI,2156
+fm_weck/resources/fm_tools/emergentheta.yml,sha256=7UntaTpLtUVc04i_qH1d6Cnsp1watp5cm5jVhxNbgs8,1929
+fm_weck/resources/fm_tools/esbmc-incr.yml,sha256=YvDc1cFhtoQQ1IkYOgc3TIgYTYDcGHcpI7Y5ezNYRBw,2298
+fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=y5h7yjrY3fXLsjgIneoX0a3kdwtSk_oTsa-jkaPNPVw,2993
+fm_weck/resources/fm_tools/fdse.yml,sha256=-yvOwDa4D50XxcG11aSxxQyEB53EFt1XM9WB0DDY1MM,1685
+fm_weck/resources/fm_tools/fizzer.yml,sha256=dJs6LUK_qxe-mlfyl38x0FmFdoh5Lnvp0EcIol0jD3U,2174
 fm_weck/resources/fm_tools/frama-c-sv.yml,sha256=M6Fzacld3t24-NEfqygYn6Kp_q-x0fOVVFdbMxSIAlI,1927
 fm_weck/resources/fm_tools/fshell-witness2test.yml,sha256=YxV4-iBjsJLUzm-tNjssYxtGBHjmAjNJJY4hNkToEOw,1651
 fm_weck/resources/fm_tools/fusebmc-ia.yml,sha256=rPepL9lJcbeK8Jeaynp4mgzNTSzizjC-ZeKCRqghnuQ,2248
@@ -78,17 +78,17 @@ fm_weck/resources/fm_tools/goblint.yml,sha256=F0byumgB0oZ70W6leRkDRIQ3jTCKllvXz3
 fm_weck/resources/fm_tools/graves-par.yml,sha256=X5BgUCZvrDmItnnu5xPRbnh4QZQnI5QBVT6XG7FFt-o,1628
 fm_weck/resources/fm_tools/graves.yml,sha256=MEkgJWxkkxcU1SDAvonzhPnTccq0MEwH72C_HlQYLis,2195
 fm_weck/resources/fm_tools/gwit.yml,sha256=IX2qk_Ai5Ts3L4kHpr3JoVpMtZTiMQqEnUrngFlbnAM,1705
-fm_weck/resources/fm_tools/hornix.yml,sha256=6ioRibJTG3fnwexKNkUs4qm8yYtdkkl-QW0FLx3tAjs,1257
+fm_weck/resources/fm_tools/hornix.yml,sha256=MmGICwn1xwJaA05p0LBfGM_czW-70jZjelb70H2ksKA,1257
 fm_weck/resources/fm_tools/hybridtiger.yml,sha256=KTrn6-xfwNCeOMofanWYBhAcNyy8By-lz9_1sWU9-GE,1718
 fm_weck/resources/fm_tools/infer.yml,sha256=_gSzJMSwE7C185rhqbIss0lm2j5FBddoWhRW9Ov84Tw,1769
-fm_weck/resources/fm_tools/java-ranger.yml,sha256=Zt618jBUvrG8pBEg81M7OU_4nFbDP_SDYIQF6Xxv4IE,1909
+fm_weck/resources/fm_tools/java-ranger.yml,sha256=9zufgBNAhREretaAx6MRQv6Og7BL3734kqK9d0X26CE,1909
 fm_weck/resources/fm_tools/jayhorn.yml,sha256=Bt1T3onc9eX6jhFLJQmyPBqM0mONJmRxcMxcJyPeLDU,1984
-fm_weck/resources/fm_tools/jbmc.yml,sha256=8fwLws1GlpPE5a_VngKbpYpjD-0lwGuHTfbXN9esCUU,2197
+fm_weck/resources/fm_tools/jbmc.yml,sha256=NEgkMA0AuyUMwJjHkbk8o7V5QS_5h0whtBhFXxt9yPw,2281
 fm_weck/resources/fm_tools/jcwit.yml,sha256=fiT1REQwbgTcLM8EEkUQ8S8wJY5_vo-DG5DwKCQAlv8,1226
 fm_weck/resources/fm_tools/jdart.yml,sha256=QWAgroUDNSnVS_EfoCDfWh8Qaw40ktKIv7bEK_86pzo,1407
 fm_weck/resources/fm_tools/key.yml,sha256=NGgOVlGsTsQRhFgL5-nFzY7cIUegkKqBeZdp0woQ3x8,2470
 fm_weck/resources/fm_tools/klee.yml,sha256=WYrjLATqasHSWGBsIP0EL93ESAmKuNDTA7rH--MOceg,1467
-fm_weck/resources/fm_tools/kleef.yml,sha256=SgBqnAthjy2fw3PAi4oQn8XUsqwhdCNcb_Fxkx9m7zI,1634
+fm_weck/resources/fm_tools/kleef.yml,sha256=9dFCVozoQuD2JB__r30DSdPfp234UEQOTkO96nWm7KU,1634
 fm_weck/resources/fm_tools/korn.yml,sha256=PTwacv1d0f0fViwudUtUAiN_oX_YwNsi_BxnPVp5vzU,2403
 fm_weck/resources/fm_tools/lazycseq.yml,sha256=rKlfW0pBfA8HDSrqZ2ovS1XO3bUGw3LH9munQMF2A54,1487
 fm_weck/resources/fm_tools/legion-symcc.yml,sha256=2uqi9oC6SXY2Dsf0CDauuHo6s5nA9XXCSmcjnrDkOKo,1571
@@ -96,11 +96,11 @@ fm_weck/resources/fm_tools/legion.yml,sha256=YF8KNydAmk8t-wiiwj23GlYcXVgCYhCb3fb
 fm_weck/resources/fm_tools/lf-checker.yml,sha256=vMn7DHW5e6HolyjIMF9DJBXGRRSU5WpNv7Wm16QAOAY,1276
 fm_weck/resources/fm_tools/liv.yml,sha256=1GTAyntiEuM0T103L8bqZmIS50SGfofmagOx2m3e2gk,2501
 fm_weck/resources/fm_tools/locksmith.yml,sha256=oJqLilslUj-lG1ofp_gnvNNDwWs6bPnoisLWQWg0xFs,1288
-fm_weck/resources/fm_tools/metaval++.yml,sha256=_wcu0OoaK0ZyKFsiwh5Kh2gYZ6n8QbxfQz_NYC2t-WA,1316
-fm_weck/resources/fm_tools/metaval.yml,sha256=gVe87DOtuQk689fk5porqJD70GC8IuJfe9U5sFxpksA,3937
-fm_weck/resources/fm_tools/mlb.yml,sha256=M6gNc2nTWziUgRlgZxJMn7KLdEtcpew1Vlst4LW9gs0,1918
-fm_weck/resources/fm_tools/mopsa.yml,sha256=y8YytPN3VQhSoMM5fy0ohHkWt68tk5i65nJ4GEaNKGQ,4081
-fm_weck/resources/fm_tools/nacpa.yml,sha256=2IRQmTWIhqAnE2CRXMahO22h_P1IdcCZm8Wh7BdMIDg,1234
+fm_weck/resources/fm_tools/metaval++.yml,sha256=CNtb6B0jkUMBFsLSRq_rItWGFeOg9O1KhTzKltIyO8E,1327
+fm_weck/resources/fm_tools/metaval.yml,sha256=WO0h2Gmc746rCLx44_1eOBD3oj2DW21xymsm6VKS9yg,3946
+fm_weck/resources/fm_tools/mlb.yml,sha256=wkuAhBIHgRq2cAdXg83TfgWeyDC6e9dzPXzWUPQNk5w,1918
+fm_weck/resources/fm_tools/mopsa.yml,sha256=FNYldbyLSl9pZq3_AdrbsabZC1fAHBeEux74uyXrx1s,4081
+fm_weck/resources/fm_tools/nacpa.yml,sha256=ufVUPAp5xyktQmESlg1n9mglg3UO-hN9T8-FCwJt65U,1234
 fm_weck/resources/fm_tools/nitwit.yml,sha256=C2xkuNe2bLJ-ZuS_6MMSuANpXpVEO0XW1umK6vC6flE,2038
 fm_weck/resources/fm_tools/owic.yml,sha256=gax5NOCYoDGS1TYV7TBSADIIAQ9PiLHRcjvtancyjjA,1556
 fm_weck/resources/fm_tools/pesco.yml,sha256=gsdGd713JLqcVAX8KOH10oVZPj7NiYok333upvFaXGA,2244
@@ -109,28 +109,28 @@ fm_weck/resources/fm_tools/pinaka.yml,sha256=r6X6hPvDNrnD_UzdleRlKlb0QpTDl0OLlD2
 fm_weck/resources/fm_tools/predatorhp.yml,sha256=cEYUTb_3rt6j2kVqMeUfOcJ0n8iXDclFnQ5dtrPnKLY,2500
 fm_weck/resources/fm_tools/proton.yml,sha256=Jvs6qe4NTDzNU1fee4RDnT8g7f276Z-MgzVvq3GJviw,1570
 fm_weck/resources/fm_tools/prtest.yml,sha256=RsiZp42wVObp3JPajuGSEK2Lfg8ypS0SfbsorfiOdjI,1559
-fm_weck/resources/fm_tools/racerf.yml,sha256=5n4YsLgaJHv-_VjE5HbNSo3CYASt25ETFI_c9p_UCzk,1324
+fm_weck/resources/fm_tools/racerf.yml,sha256=EkzekrgBbilFp3IuN_6_COHW1juQDwSoseGe1o2Wj3E,1372
 fm_weck/resources/fm_tools/relay-sv.yml,sha256=XMh4D_h92gbFfGFZulgdvFwhnUtm4UPFV5f7EW5uKes,1350
 fm_weck/resources/fm_tools/rizzer.yml,sha256=VjlqwJXp2N7CCgvw-lNbTExP7r2KPyO2QeQAmyDL4gs,1460
 fm_weck/resources/fm_tools/schema.yml,sha256=vgCWOjWxu0KjxcD_D5BnhN-i-x7ukCf7s7VEvTeFHP0,20837
-fm_weck/resources/fm_tools/sikraken.yml,sha256=A6QwlBQOCTD0ZSQhJvSJcVLp9LSPTNHx5vYES2DMmS0,1057
+fm_weck/resources/fm_tools/sikraken.yml,sha256=0jiRPRP9Uxkgg_aXl2_JB7m_cym0TaxvvUhJB_hU2OM,1057
 fm_weck/resources/fm_tools/spf.yml,sha256=nqTBH0O07oKOMnXbrwjGvlBwKmTrTNXIDb_Qk5aCYBQ,1584
-fm_weck/resources/fm_tools/sv-sanitizers.yml,sha256=KdfwGMRU8WPNBsiOPlLG1kyCbLDJHSraHpCQEl1Tq1A,1413
-fm_weck/resources/fm_tools/svf-svc.yml,sha256=rlD9PcHHnLI3SI7iyDb3212Mre1VmdaEwwdkUNx5GPs,1186
+fm_weck/resources/fm_tools/sv-sanitizers.yml,sha256=YauKAzc8iKpoOsl7g1Fy1Sbegpf1C1_FBD30M4oNXG8,1413
+fm_weck/resources/fm_tools/svf-svc.yml,sha256=_5OFjW_apsawfeJyyvPARebO868V7RRFgCvA5is42R0,1186
 fm_weck/resources/fm_tools/swat.yml,sha256=2-N9vL_zYL7QecPzjWzoL_LwbsStF45Zmxq2s-SGo8s,1496
 fm_weck/resources/fm_tools/symbiotic-witch.yml,sha256=bQx0t74HhAmZ79gPKcuGi9ijTLAj5jS7xM-CX9PKjlk,2194
-fm_weck/resources/fm_tools/symbiotic.yml,sha256=HeFt5h6FWwiaQNv36pENhlJIhwXR-PFbYGB3aXDm-64,5518
+fm_weck/resources/fm_tools/symbiotic.yml,sha256=n73t3vZl4_VxtIp6he4CCUSEkzTAgJA0L_fGB1roP6A,5561
 fm_weck/resources/fm_tools/testcov.yml,sha256=QSxhG0m-9ZlLWmTYA228C6Wn6cVqVdSiQBaiRe4dZrI,2759
-fm_weck/resources/fm_tools/theta.yml,sha256=bUdJTYPx9Bfn6aXZcPF_KCZ8s-bBU40i4A2tzH1ij-k,2482
-fm_weck/resources/fm_tools/thorn.yml,sha256=_16ySX8lQC5TyTO6CKWNLocasoDVx7McO6dOa8Qv0mk,1170
-fm_weck/resources/fm_tools/tracerx-wp.yml,sha256=r4GHR1mP_T0KLvd_0gU-SPDs4zcG8nm6Uwi-eEa1BF4,1668
-fm_weck/resources/fm_tools/tracerx.yml,sha256=REC45t4ynwxm36vSDjnyQ7lhNDRxGdmWdcFiQrC_eJU,2162
-fm_weck/resources/fm_tools/uautomizer.yml,sha256=ZN5NO536vVzisr6sY6VMJ2IIGMhFxxOAABtVJgZ0GXk,7549
-fm_weck/resources/fm_tools/ugemcutter.yml,sha256=t4KgOkAtUeBsnAZZ4BROIPGA1r_x1XOhKYFlLoXaHa0,2950
-fm_weck/resources/fm_tools/ukojak.yml,sha256=U0X8R5qU_b6g2FdKYLDG4PMzNas8li9j0TmtKR_A2p4,2920
-fm_weck/resources/fm_tools/ureferee.yml,sha256=L_jsZGMNId297GCEo0kwFcNrkevR7h_cNs00X5J2VtY,2342
-fm_weck/resources/fm_tools/utaipan.yml,sha256=WtJi1-iy_LESmyudlVYqS3ErRqNS6lEr1oCgtrhILv4,3166
-fm_weck/resources/fm_tools/utestgen.yml,sha256=TEeYMxdi6KDCLmxYctqaCd3JcO8NHsfW_OvP2aHAKh8,2159
+fm_weck/resources/fm_tools/theta.yml,sha256=dir-BuLBf95Su1oTbk7ka0w7WaQiLTROX-jGWsMK6XM,2482
+fm_weck/resources/fm_tools/thorn.yml,sha256=6D0EPmOnCpyndJSj-9HlFJrAe3kYF17NTRj_aa6j0Io,1170
+fm_weck/resources/fm_tools/tracerx-wp.yml,sha256=yCtR9NO1YCBM2JK2YeLe95hWlWtUSGkJUoa3mLDEIzc,1668
+fm_weck/resources/fm_tools/tracerx.yml,sha256=v5nKh-pVM4_1tSL3ZFlnKuvyVh8HiAGyYMUyK4N3kns,2162
+fm_weck/resources/fm_tools/uautomizer.yml,sha256=jJ_hV0q46r038A1tN60Ctsh75CU2XEEE4KuPpfseIjM,7549
+fm_weck/resources/fm_tools/ugemcutter.yml,sha256=tHRFjGQejbi2lhePiR3OhuV4YKw2uAhJVdNsbO3J5fE,2950
+fm_weck/resources/fm_tools/ukojak.yml,sha256=aId9JQINhAcyakI_BNEHHSMIm88pUG3XPNRgdVfVw1g,2920
+fm_weck/resources/fm_tools/ureferee.yml,sha256=JV_GajJ-C8RLEr3sfm3R4ho5l3sT4HTUpNkIeqObvTs,2342
+fm_weck/resources/fm_tools/utaipan.yml,sha256=6pkbBDk-STNohZb-RZEC0mgBDGSt8eJB1wsMvEi7lxc,3166
+fm_weck/resources/fm_tools/utestgen.yml,sha256=3bumUZv9mgWWi9K3PPC81gqDTSW3MBL8Day2HREttNQ,2174
 fm_weck/resources/fm_tools/veriabs.yml,sha256=XZxrXhAZHeQluCOkcJ1pdzKHM8zwsqAkGSHuxtDfL7c,2448
 fm_weck/resources/fm_tools/veriabsl.yml,sha256=59cvw9e0Z8bWPLhHkeB7tZCpThOcikgnFmNTSNH-Zyc,3533
 fm_weck/resources/fm_tools/verifuzz.yml,sha256=xhIJbsnWUa4P3dORZc5cMCg0rt_VkCuAPYAFtItGlJQ,20911
@@ -139,7 +139,8 @@ fm_weck/resources/fm_tools/wasp-c.yml,sha256=ES8OKkQxKTDdDsN6oDe66hORSDMe70_k1Yz
 fm_weck/resources/fm_tools/wit4java.yml,sha256=SFiCnnn8mjiCPpGFC5bOeXRPJ-pVtqfkMSB-P4W9liU,1609
 fm_weck/resources/fm_tools/witch.yml,sha256=ebsjynA0MzPyLWgaaeWqb4Jgh6Ib1xXCDOtNnrcHGkI,1581
 fm_weck/resources/fm_tools/witnesslint.yml,sha256=I3tWZ5bbbos_lSQhSWY_f0QNItrDf-PWRfHgcLv5svQ,5902
-fm_weck-1.4.1.dist-info/METADATA,sha256=2xQIKsJHps9Vs8iwuglzFtMhEu5GrdwJna3DUT-EnYA,2771
-fm_weck-1.4.1.dist-info/WHEEL,sha256=zEMcRr9Kr03x1ozGwg5v9NQBKn3kndp6LSoSlVg-jhU,87
-fm_weck-1.4.1.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
-fm_weck-1.4.1.dist-info/RECORD,,
+fm_weck/resources/fm_tools/witnessmap.yml,sha256=HlDmNvA15YqV1lYF6ouHYDE3syXY9C_iE21BEkE0ggo,1080
+fm_weck-1.4.2.dist-info/METADATA,sha256=dT2w3hY3JOq0r1hNbaiK17hVoKW5c-A_efTvwYCdeP4,2771
+fm_weck-1.4.2.dist-info/WHEEL,sha256=C2FUgwZgiLbznR-k0b_5k3Ai_1aASOXDss3lzCUsUug,87
+fm_weck-1.4.2.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
+fm_weck-1.4.2.dist-info/RECORD,,

{fm_weck-1.4.1.dist-info → fm_weck-1.4.2.dist-info}/WHEEL

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