fm-weck 1.4.1__py3-none-any.whl → 1.4.3__py3-none-any.whl

fm_weck/resources/fm_tools/svf-svc.yml

@@ -1,3 +1,4 @@
+id: svf-svc
 name: SVF-SVC
 input_languages:
   - C
@@ -23,8 +24,8 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14029473
-    benchexec_toolinfo_options: []
+    doi: 10.5281/zenodo.14208597
+    benchexec_toolinfo_options: ["--witness", "witness.graphml"]
     required_ubuntu_packages: ["python3-yaml"]
 
 competition_participations:

fm_weck/resources/fm_tools/swat.yml

@@ -1,3 +1,4 @@
+id: swat
 name: SWAT
 input_languages:
   - Java
@@ -28,17 +29,22 @@ versions:
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14214662
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - openjdk-17-jdk-headless
 
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    hors-concours: true
-    tool_version: "svcomp24"
+    tool_version: "svcomp25"
     jury_member:
-      name: Hors Concours
-      institution: --
-      country: --
-      url: null
+      orcid: 0009-0003-6243-1623
+      name: Nils Loose
+      institution: University of Luebeck
+      country: Germany
+      url:
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/symbiotic-witch.yml

@@ -1,3 +1,4 @@
+id: symbiotic-witch
 name: Symbiotic-Witch
 input_languages:
   - C
@@ -23,7 +24,7 @@ versions:
       - python3
       - python3-lxml
       - llvm-14
-    doi: "10.5281/zenodo.14170955"
+    doi: "10.5281/zenodo.14207464"
   - version: "svcomp24"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:

fm_weck/resources/fm_tools/symbiotic.yml

@@ -1,3 +1,4 @@
+id: symbiotic
 name: Symbiotic
 input_languages:
   - C
@@ -18,18 +19,19 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14035991"
+    doi: "10.5281/zenodo.14204995"
     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.14204995"
     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/testcov.yml

@@ -1,3 +1,4 @@
+id: testcov
 name: TestCov
 input_languages:
   - C

fm_weck/resources/fm_tools/theta.yml

@@ -1,3 +1,4 @@
+id: theta
 name: Theta
 input_languages:
   - C
@@ -18,7 +19,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

@@ -1,3 +1,4 @@
+id: thorn
 name: Thorn
 input_languages:
   - C
@@ -18,7 +19,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

@@ -1,3 +1,4 @@
+id: tracerx-wp
 name: TracerX-WP
 input_languages:
   - C
@@ -20,7 +21,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

@@ -1,3 +1,4 @@
+id: tracerx
 name: TracerX
 input_languages:
   - C
@@ -20,7 +21,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

@@ -1,3 +1,4 @@
+id: uautomizer
 name: UAutomizer
 description: |
   Ultimate Automizer is a software model checker that
@@ -41,18 +42,18 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110286
+    doi: 10.5281/zenodo.14209043
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless
   - version: svcomp25-correctness
-    doi: 10.5281/zenodo.14110286
+    doi: 10.5281/zenodo.14209043
     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.14209043
     benchexec_toolinfo_options:
       [--full-output, --witness-type, violation_witness]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -1,3 +1,4 @@
+id: ugemcutter
 name: UGemCutter
 input_languages:
   - C
@@ -32,7 +33,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110331
+    doi: 10.5281/zenodo.14209054
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/ukojak.yml

@@ -1,3 +1,4 @@
+id: ukojak
 name: UKojak
 input_languages:
   - C
@@ -38,7 +39,7 @@ maintainers:
 
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110299
+    doi: 10.5281/zenodo.14209044
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/ureferee.yml

@@ -1,3 +1,4 @@
+id: ureferee
 name: UReferee
 description: |
   Ultimate Referee is a correctness witness validator.
@@ -34,7 +35,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25-correctness
-    doi: 10.5281/zenodo.14110344
+    doi: 10.5281/zenodo.14209067
     benchexec_toolinfo_options:
       [--full-output, --witness-type, correctness_witness]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/utaipan.yml

@@ -1,3 +1,4 @@
+id: utaipan
 name: UTaipan
 input_languages:
   - C
@@ -32,7 +33,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14110314
+    doi: 10.5281/zenodo.14209053
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/utestgen.yml

@@ -1,3 +1,4 @@
+id: utestgen
 name: UTestGen
 input_languages:
   - C
@@ -8,6 +9,7 @@ benchexec_toolinfo_module: "ultimatetestgen.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - danieldietsch
+  - MaxBarth95
 
 maintainers:
   - name: Max Barth
@@ -18,7 +20,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/veriabs.yml

@@ -1,3 +1,4 @@
+id: veriabs
 name: VeriAbs
 input_languages:
   - C

fm_weck/resources/fm_tools/veriabsl.yml

@@ -1,3 +1,4 @@
+id: veriabsl
 name: VeriAbsL
 input_languages:
   - C

fm_weck/resources/fm_tools/verifuzz.yml

@@ -1,3 +1,4 @@
+id: verifuzz
 name: VeriFuzz
 input_languages:
   - C

fm_weck/resources/fm_tools/verioover.yml

@@ -1,3 +1,4 @@
+id: verioover
 name: VeriOover
 input_languages:
   - C

fm_weck/resources/fm_tools/wasp-c.yml

@@ -1,3 +1,4 @@
+id: wasp-c
 name: WASP-C
 input_languages:
   - C

fm_weck/resources/fm_tools/wit4java.yml

@@ -1,3 +1,4 @@
+id: wit4java
 name: WIT4JAVA
 input_languages:
   - Java

fm_weck/resources/fm_tools/witch.yml

@@ -1,3 +1,4 @@
+id: witch
 name: Witch
 input_languages:
   - C
@@ -22,7 +23,7 @@ versions:
     required_ubuntu_packages:
       - python3
       - llvm-14
-    doi: "10.5281/zenodo.14161544"
+    doi: "10.5281/zenodo.14207188"
   - version: "svcomp24"
     benchexec_toolinfo_options: ['--sv-comp']
     required_ubuntu_packages:

fm_weck/resources/fm_tools/witnesslint.yml

@@ -1,3 +1,4 @@
+id: witnesslint
 name: WitnessLint
 input_languages:
   - C

fm_weck/resources/fm_tools/witnessmap.yml

@@ -0,0 +1,47 @@
+id: witnessmap
+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.14205153
+    benchexec_toolinfo_options: [ ]
+    required_ubuntu_packages:
+      - python3-yaml
+
+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")
@@ -49,4 +50,4 @@ def run_runexec(
 
     configuration.make_runexec_script_available()
 
-    engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/runexec", *command)
+    return engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/runexec", *command)

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/serve.py

@@ -90,7 +90,7 @@ def run_guided(
     skip_download: bool = False,
     log_output_to: Optional[Path] = None,
     output_files_to: Optional[Path] = None,
-):
+) -> int:
     property_path = None
     if prop is not None:
         try:
@@ -129,7 +129,7 @@ def run_guided(
 
     logger.debug("Assembled command from fm-tools: %s", command)
 
-    engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/run_with_overlay.sh", shelve_space.name, *command)
+    return engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/run_with_overlay.sh", shelve_space.name, *command)
 
 
 def run_manual(
@@ -138,11 +138,11 @@ def run_manual(
     configuration: Config,
     command: list[str],
     skip_download: bool = False,
-):
+) -> int:
     fm_data, shelve_space = setup_fm_tool(fm_tool, version, configuration, skip_download)
     engine = Engine.from_config(fm_data, configuration)
 
     executable = fm_data.get_executable_path(shelve_space)
     logger.debug("Using executable %s", executable)
     logger.debug("Assembled command %s", [executable, *command])
-    engine.run(executable, *command)
+    return engine.run(executable, *command)

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: fm-weck
-Version: 1.4.1
+Version: 1.4.3
 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.3.dist-info/RECORD

@@ -0,0 +1,146 @@
+fm_weck/__init__.py,sha256=3wdG_lifPse1EUze3MIQ31WI3UlKCgtrTxsGfmZSpqw,351
+fm_weck/__main__.py,sha256=EH-5hwqGqbt71BJpd4iJK9IbS1KBBdfjGjtG3tqfSI8,367
+fm_weck/cli.py,sha256=wL5VDh-nZWJD5EFKObuMKZBBabqeclijuR0PtP52G4I,13618
+fm_weck/config.py,sha256=AAp5qPZfx2Gh-43jySzfHzHOEmbduHJalA7guV9SIzI,7340
+fm_weck/engine.py,sha256=jeHJoPHxtPIfTSxxRQSC1ldo5GcnC9CysBv3fksdNk8,13894
+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=ZJzbH9BkEzGN5BOYUnI4csYTaB8NN2A2ATeO9y9LfSQ,5223
+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=4PeHJUDBcMg6vy_ebO2ulgP4KaCmshCGlgkGWh6gGfg,1990
+fm_weck/resources/fm_tools/cetfuzz.yml,sha256=CS1Xg-rSgD7sDUy9I7VbfdcYfnwDQ-bERQiUBiMQCOE,1811
+fm_weck/resources/fm_tools/coastal.yml,sha256=8mJKcvGQ2JjhBH1RrkWJFToK22e08S12QXPePAL7sZ8,1541
+fm_weck/resources/fm_tools/concurrentwitness2test.yml,sha256=OaYOgcL61ayX6qkjZSRGh9x6Fd1zHhc-A0LQq47iacU,1940
+fm_weck/resources/fm_tools/cooperace.yml,sha256=22Wd3WiG06ciSzozhsXkrvSnxI3jnRaqVJjuRSGW-SY,1145
+fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml,sha256=D7GC8xC23xxRUlADC88BKAnZA4Anwe3WVHvVGFqsrqs,2382
+fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml,sha256=J2ZEWDE1aqsQzckC9bzr3G6AmQiTQKsV5CrhOBLSdG4,2366
+fm_weck/resources/fm_tools/coveritest.yml,sha256=8KAvgYe3EhGXBYPRqa0GPBlOYTX_geuSVsBRHLWUc8w,2424
+fm_weck/resources/fm_tools/cpa-bam-bnb.yml,sha256=Ozt6zWc2-UXY9IdBwPEbFpR0uSislWCcLTWld7mReZI,1600
+fm_weck/resources/fm_tools/cpa-bam-smg.yml,sha256=pmquT_9UstlPDhwfutUqtL4zpxDwrVhveq3tPyflerE,1644
+fm_weck/resources/fm_tools/cpa-lockator.yml,sha256=6ynPNz0eZOmC3FFHhSp9zTTD3UR5EF54YNoVaixKs2s,1628
+fm_weck/resources/fm_tools/cpa-witness2test.yml,sha256=1n7EuJ-Hyg0rV7W__c5fauOk9sDanH37nsJdfSDzpCU,3181
+fm_weck/resources/fm_tools/cpachecker.yml,sha256=OiVpPaBn9Yh1MRk3Uc0aXMOLDuObeHj5qySCYFOQk1k,10521
+fm_weck/resources/fm_tools/cpv.yml,sha256=E_s4MpLSxEMrMK88InJBTu0n6TpuXEyrzN8Vm_OcAXk,2415
+fm_weck/resources/fm_tools/crux.yml,sha256=J6szyDbAIvLvUGgC5O6NpqsK9FA4EqsVLXw_kOEN3Gk,1335
+fm_weck/resources/fm_tools/cseq.yml,sha256=ik6e1fMr57naAMbnOqDYsHy7ne9DlilWG7OhPCBzZSQ,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=EGXnVJNP2nPmzOte0s5mQ4zdrnsdpL7LCLMioq4EenE,1405
+fm_weck/resources/fm_tools/ebf.yml,sha256=brZZZ9in3rSsj1Fbz8IQwq4S4Nlz0ANwJ5xPc34bt0k,1570
+fm_weck/resources/fm_tools/emergentheta.yml,sha256=auci3Hx3pRbqcOMEA5MigiuDd2C89NsOkr0AjBuLdiE,1946
+fm_weck/resources/fm_tools/esbmc-incr.yml,sha256=HEuFexWQ7XtbdIpfpToUeTyIwPtJ1p5oakbVTwzFsck,2313
+fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=uLr-AgK2wiZd3UIfvrmzWW_adcdo6oQ2IFCp2BPlPH4,3008
+fm_weck/resources/fm_tools/fdse.yml,sha256=J70r_dRk2d7A2GeQZA9Zq6WpELI3Mi95vli10Mccusw,1694
+fm_weck/resources/fm_tools/fizzer.yml,sha256=sVrhGHkdyyTFHaOsyqvgjHTP8jfcDwmRtP2YbCPfCJQ,2185
+fm_weck/resources/fm_tools/frama-c-sv.yml,sha256=8JCL8apDQnxO7F_In71vxuaDA1HSW29aYgWj6YVt8Gw,1942
+fm_weck/resources/fm_tools/fshell-witness2test.yml,sha256=giJDAPXUR9Aa9AZ-mD4ywlJeTP0TQYOrEhln02W0k1E,1675
+fm_weck/resources/fm_tools/fusebmc-ia.yml,sha256=90YgGegpG5ph0uTIsk98_12RU7BlU8n4QQzL1mEoV7k,2263
+fm_weck/resources/fm_tools/fusebmc.yml,sha256=LBAzJqZ7E-N-I-r2AoBVrO09iyrlbRmp8w8mc2Nwx6s,2468
+fm_weck/resources/fm_tools/gazer-theta.yml,sha256=QliCJ7O1ii7K_oN0JgBzDEo42TJwIbbZO73hr-fXeNo,1887
+fm_weck/resources/fm_tools/gdart-llvm.yml,sha256=krhdj6jObE7J8oX_n7OQOfYF3_dOrRjyL2pjkWPHci4,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=Aze7vSjBskhJm_yniCrdvIke2DnzQrJhyLWISMjdr20,1643
+fm_weck/resources/fm_tools/graves.yml,sha256=KB5bmrCO0tABPXVNNK0b7U-_GXmuSvqIMBM0ywLbZ40,2206
+fm_weck/resources/fm_tools/gwit.yml,sha256=_w5WOi7lUeTzMoIF86Hqof_u3sxXWz-2J6k0m9dJJoY,1714
+fm_weck/resources/fm_tools/hornix.yml,sha256=zs0kTyJnBtoS3XlmZ9m4uqTTH1Tlz4Ml9_0nrfbidC0,1268
+fm_weck/resources/fm_tools/hybridtiger.yml,sha256=SCxkoyI7dWi3EZYBGqVUWyl1ZxD3wFNcdfGBYO6YLJE,1734
+fm_weck/resources/fm_tools/infer.yml,sha256=xqYFL1GJ3osddnrEoB8RjFdh27GtdSEy8NIUzyHQT78,1779
+fm_weck/resources/fm_tools/java-ranger.yml,sha256=riJmjUy2Vry570MS4YpmiUQnTNSoh7Pfl9wY9bJmmDA,1925
+fm_weck/resources/fm_tools/jayhorn.yml,sha256=ylE-CqUR_vv_4HbNY-Omr42uhG3tk6y1yBkIWSD_YNk,1996
+fm_weck/resources/fm_tools/jbmc.yml,sha256=Ukl95wnlvwdFJ0yvc4bUHPMvk86bt_CrLhDGDSREbhA,2290
+fm_weck/resources/fm_tools/jcwit.yml,sha256=P3WgW-Pmp_tHy-Jc46xsx-6DljqNrS1rmKxjz8DjH4M,1236
+fm_weck/resources/fm_tools/jdart.yml,sha256=1ooL8Mzl271ReZ2kV0J22Bhk3WYmuLZgxwJzknSaqPc,1417
+fm_weck/resources/fm_tools/key.yml,sha256=wse7rCv33m2z8nbm9Dk-jAipkMaF8S0LINGCzfNfpfE,2478
+fm_weck/resources/fm_tools/klee.yml,sha256=iWy7UaRc6IpauT9Y9Pr8jbm8FZFs3qaEYEO4jJTWJz8,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=LNiBw2uKcSPDNaZ7TAcmhf_ZjDxEp7fh25-AJrN4rHE,1500
+fm_weck/resources/fm_tools/legion-symcc.yml,sha256=JIRGuY34ggsMeVfJyqq_VZWpucXWJL7DKags2wMWom8,1588
+fm_weck/resources/fm_tools/legion.yml,sha256=px9djNX5aDpz5tiMbilZP4CwqCvZHQ2luRdV0pxGbNo,1792
+fm_weck/resources/fm_tools/lf-checker.yml,sha256=kGqs9tdRNVzrzkXs5hc_JMYV9hjWerugT0rzkCP_ouQ,1291
+fm_weck/resources/fm_tools/liv.yml,sha256=EQ6w2IeqHIrwsrH2N4adYUU0F-GKmlKSN28YwSsIxq8,2696
+fm_weck/resources/fm_tools/locksmith.yml,sha256=hWsh1hnHZ-4iI3o3AyhKW6tGxvCy45nrj5_cmxvcVDA,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=ySVgwnPHJYKAJUmSG_ebw61NLtasT0vzT9mlvgyV1rY,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=Q-RMWRwraKA4e_qYzFvXs8CS6GUGR0wcMryvphP5hJA,2049
+fm_weck/resources/fm_tools/owic.yml,sha256=tFfPaB1QqSi_iRit13OLXBMSj7sUw6guZ4b_3ZOl0-I,1565
+fm_weck/resources/fm_tools/pesco.yml,sha256=S-dVEnAzo73tJ0qzMogrdEhfz0C0l4Ajnz-60Fm_NSo,2254
+fm_weck/resources/fm_tools/pichecker.yml,sha256=v8Gwnk6_DvZRJ3MQmhOpdhknUZXoKWcpXynuknJNnco,1551
+fm_weck/resources/fm_tools/pinaka.yml,sha256=zpR4kQbgiUvjMStiPfvTWte6YIewpD_29v8Jac_WH2Y,1577
+fm_weck/resources/fm_tools/predatorhp.yml,sha256=93wiQV0Orx_-mniYQtoJK0Hm8h-hOL6bu6EmskJQ5KU,2515
+fm_weck/resources/fm_tools/proton.yml,sha256=PJRm2aQBUVwdgMynwJICuyH-OgMQwrPh-FU0bmcDLdw,1581
+fm_weck/resources/fm_tools/prtest.yml,sha256=tEVUC_HtsHueFSBr2id8n2bhn4DHMncaAaPVWYMYh8o,1570
+fm_weck/resources/fm_tools/racerf.yml,sha256=zguVlErxBjrsyU0CDnh7lS9sDVY2ZxvjIb-IJ4jECI0,1335
+fm_weck/resources/fm_tools/relay-sv.yml,sha256=oit5QEy-eno9hYgbjkKXq8UhJkLplAB7ZjoLZCU_IzI,1363
+fm_weck/resources/fm_tools/rizzer.yml,sha256=yJ8lwXVDeXxTCXiYtEDeTDghPpkcfjc2WrRqtgoGEAc,1471
+fm_weck/resources/fm_tools/schema.yml,sha256=R7sxcD45jDHkkMxQ-GPVbohAYF43hrFbW52uT3mgYis,20953
+fm_weck/resources/fm_tools/sikraken.yml,sha256=fbBK6EtB8XWR4aXbbpsDU__5SCXA_wq4fyh_TAZxOME,1070
+fm_weck/resources/fm_tools/spf.yml,sha256=4BGM0Gtr9GCodVcq--CPO4eWBYtnSCC9IHzpacBs_Bk,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=Zeu9s3BBj-XYSRZLK77VuBJjeJnU4fJzJSPGrdsRI4s,5575
+fm_weck/resources/fm_tools/testcov.yml,sha256=1nqlZiqJ7LlVT-gVRhyGIlfjCkxszEOtrH2YQRTpvJo,2771
+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=cn0m7HPT4EDKoJ66GKltjvbZfXj2v5wYe1jJ4vS-ohA,1267
+fm_weck/resources/fm_tools/wasp-c.yml,sha256=lrWoul5iHACiQkBXZa0qRDl-MUYn27AfaVxbSuMdq8A,1597
+fm_weck/resources/fm_tools/wit4java.yml,sha256=fsbJLb0utlst8d51gvFk3FL2WoCwz_HFfgAME5AIjDc,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=iDnbEvPkbskfX3SYSbi7WjIKa4Q0B7LMCrawdXO7cNs,1113
+fm_weck-1.4.3.dist-info/METADATA,sha256=qhC2r4tIhy18mHR0Tni639TW1uVn7VZPSKW2VOej9lY,2771
+fm_weck-1.4.3.dist-info/WHEEL,sha256=C2FUgwZgiLbznR-k0b_5k3Ai_1aASOXDss3lzCUsUug,87
+fm_weck-1.4.3.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
+fm_weck-1.4.3.dist-info/RECORD,,

{fm_weck-1.4.1.dist-info → fm_weck-1.4.3.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