fm-weck 1.2.1__py3-none-any.whl → 1.4.0__py3-none-any.whl

fm_weck/resources/fm_tools/uautomizer.yml

@@ -1,4 +1,8 @@
 name: UAutomizer
+description: |
+  Ultimate Automizer is a software model checker that
+  is based on automata-based techniques and interpolation
+  to check for software errors and to verify program properties.
 input_languages:
   - C
 project_url: https://ultimate-pa.org
@@ -71,7 +75,7 @@ versions:
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: svcomp23
-    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/uautomizer.zip
+    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/uautomizer.zip
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-11-jre-headless

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -33,7 +33,7 @@ versions:
     required_ubuntu_packages:
       - openjdk-11-jre-headless
   - version: svcomp23
-    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/ugemcutter.zip
+    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/ugemcutter.zip
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-11-jre-headless

fm_weck/resources/fm_tools/ukojak.yml

@@ -33,7 +33,7 @@ versions:
     required_ubuntu_packages:
       - openjdk-11-jre-headless
   - version: svcomp23
-    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/ukojak.zip
+    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/ukojak.zip
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-11-jre-headless

fm_weck/resources/fm_tools/utaipan.yml

@@ -33,7 +33,7 @@ versions:
     required_ubuntu_packages:
       - openjdk-11-jre-headless
   - version: svcomp23
-    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/utaipan.zip
+    url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/utaipan.zip
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-11-jre-headless

fm_weck/resources/fm_tools/veriabs.yml

@@ -2,7 +2,7 @@ name: VeriAbs
 input_languages:
   - C
 project_url: https://www.tcs.com
-repository_url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/veriabs.zip"
+repository_url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/veriabs.zip"
 spdx_license_identifier: Other
 benchexec_toolinfo_module: benchexec.tools.veriabs
 fmtools_format_version: "2.0"
@@ -25,7 +25,7 @@ versions:
       - openjdk-11-jre-headless
       - clang-12
   - version: "svcomp23"
-    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/veriabs.zip"
+    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/veriabs.zip"
     benchexec_toolinfo_options: ['--sv22']
     required_ubuntu_packages:
       - libc6-dev-i386

fm_weck/resources/fm_tools/veriabsl.yml

@@ -2,7 +2,7 @@ name: VeriAbsL
 input_languages:
   - C
 project_url: https://www.tcs.com
-repository_url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/veriabsl.zip
+repository_url: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/veriabsl.zip
 spdx_license_identifier: Other
 benchexec_toolinfo_module: benchexec.tools.veriabsl
 fmtools_format_version: "2.0"
@@ -40,7 +40,7 @@ versions:
       - python3-urllib3
       - clang-12
   - version: "svcomp23"
-    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/veriabsl.zip"
+    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/veriabsl.zip"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - libc6-dev-i386

fm_weck/resources/fm_tools/verifuzz.yml

@@ -16,7 +16,7 @@ maintainers:
 
 versions:
   - version: "svcomp23"
-    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/verifuzz.zip"
+    url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/verifuzz.zip"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang-12

fm_weck/resources/run_with_overlay.sh

@@ -14,16 +14,34 @@ mkdir -p /tmp/overlay/work
 mkdir -p /home/_cwd
 
 # We mount the weck_cache to /home/weck_cache in the container
-cp -r "/home/weck_cache/$TOOL_DIR" /tmp/overlay/
+cp -r "/home/fm-weck_cache/$TOOL_DIR" /tmp/overlay/
 
 # Assume workdir is /home/cwd
 # Assume the user $PWD is mounted to home/cwd
 #Mount the overlay
 mount -t overlay overlay -o lowerdir=/home/cwd:/tmp/overlay/"$TOOL_DIR",upperdir=/tmp/overlay/upper,workdir=/tmp/overlay/work /home/_cwd
-cd /home/_cwd && "$@"
 
-# Fm-Weck mounts a tempdir to /home/output
-# Test if upper is empty
-if [ ! -z "$(ls -A /tmp/overlay/upper)" ]; then
+# Change directory and execute the command
+cd /home/_cwd || exit 1
+
+"$@" &
+PID=$!
+
+# Handle signals and delegate to the process
+trap 'kill -TERM $PID' INT TERM
+
+# Wait for the process and handle its termination correctly
+wait $PID
+trap - TERM INT
+wait $PID   # wait for JVM to exit after signal delegation
+EXIT_STATUS=$?
+
+# Check if upper directory has data to copy to output
+if [ -n "$(ls -A /tmp/overlay/upper)" ]; then
     cp -r /tmp/overlay/upper/* /home/output
 fi
+
+# Clean up mounted filesystems
+umount /tmp/overlay
+
+exit $EXIT_STATUS

fm_weck/resources/runexec

@@ -0,0 +1,16 @@
+#!/bin/env python3
+
+# 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
+
+# -*- coding: utf-8 -*-
+import re
+import sys
+from benchexec.runexecutor import main
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw|\.exe)?$', '', sys.argv[0])
+    sys.exit(main())

fm_weck/runexec_mode.py

@@ -0,0 +1,52 @@
+# 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 logging
+import shutil
+from pathlib import Path
+from typing import Optional
+
+from fm_weck.resources import BENCHEXEC_WHL
+from fm_weck.runexec_util import mountable_absolute_paths_of_command
+
+from .config import Config
+from .engine import CACHE_MOUNT_LOCATION, Engine
+
+logger = logging.getLogger(__name__)
+
+
+def run_runexec(
+    benchexec_package: Optional[Path],
+    use_image: Optional[str],
+    configuration: Config,
+    extra_container_args: list[list[str]],
+    command: list[str],
+):
+    if use_image is not None:
+        configuration.set_default_image(use_image)
+
+    engine = Engine.from_config(configuration)
+    engine.add_benchexec_capabilities = True
+
+    if benchexec_package is not None:
+        engine.mount(benchexec_package.parent.absolute(), "/home/__fm_weck_benchexec")
+        engine.env["PYTHONPATH"] = f"/home/__fm_weck_benchexec/{benchexec_package.name}"
+    else:
+        # Default to the bundled benchexec package
+        benchexec_package = configuration.get_shelve_path_for_benchexec()
+        shutil.copyfile(BENCHEXEC_WHL, benchexec_package)
+        engine.env["PYTHONPATH"] = f"{CACHE_MOUNT_LOCATION}/.lib/benchexec.whl"
+
+    for path in mountable_absolute_paths_of_command(command):
+        engine.mount(path, path)
+
+    for arg in extra_container_args:
+        engine.add_container_long_opt(arg)
+
+    configuration.make_runexec_script_available()
+
+    engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/runexec", *command)

fm_weck/runexec_util.py

@@ -0,0 +1,30 @@
+# 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 logging
+from pathlib import Path
+from typing import Iterable, List
+
+from fm_weck.engine import RESERVED_LOCATIONS
+
+
+def mountable_absolute_paths_of_command(command: List[str]) -> Iterable[Path]:
+    """
+    Iterate over all arguments in command and find those that are paths.
+    The paths are returned as absolute paths, that already exist on the host.
+    """
+
+    no_mount = {"/", "/dev", "/proc", "/sys"}
+
+    command_iter = (arg for arg in command if arg not in no_mount)
+    for arg in command_iter:
+        if arg in RESERVED_LOCATIONS:
+            logging.warning("Ignoring reserved path %s. This path is internally used and mounted by fm-weck.", arg)
+
+        path = Path(arg)
+        if path.exists() and path.is_absolute():
+            yield path

fm_weck/serve.py

@@ -17,7 +17,7 @@ from fm_tools import FmData
 from fm_tools.benchexec_helper import DataModel
 
 from .config import Config, parse_fm_data
-from .engine import Engine
+from .engine import CACHE_MOUNT_LOCATION, Engine
 
 logger = logging.getLogger(__name__)
 
@@ -129,7 +129,7 @@ def run_guided(
 
     logger.debug("Assembled command from fm-tools: %s", command)
 
-    engine.run("/home/weck_cache/.scripts/run_with_overlay.sh", shelve_space.name, *command)
+    engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/run_with_overlay.sh", shelve_space.name, *command)
 
 
 def run_manual(

{fm_weck-1.2.1.dist-info → fm_weck-1.4.0.dist-info}/METADATA

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

@@ -1,13 +1,19 @@
-fm_weck/__init__.py,sha256=vuZGZsilHUwiFYGsaJ4paDAabW0dRcQkI7EKCUDJJnI,351
+fm_weck/__init__.py,sha256=fhbHcAv5kJ0_nbClYRr0E5_e6Ok5w9IOIYrtlbRYEDQ,351
 fm_weck/__main__.py,sha256=E7z4-9t6To3hbIPjRPu6iW17YCrtqpDSbFSpd9pX4NA,350
-fm_weck/cli.py,sha256=YBeNA52dhfcq5eFKHZorTX1EjsraGayP60Pig7L8z3I,10565
-fm_weck/config.py,sha256=6f4R-iWmWehHghuhoU-UyCpNotYFec_oDelJB4A15BQ,4861
-fm_weck/engine.py,sha256=OTTP3r-2xQx1GHpcepbVwR8iJuYK-cqux6cXCF9P_aU,11366
-fm_weck/image_mgr.py,sha256=kZxcZaMiv5orWO7bLsN7xaQRXjof8uOGud7sb57ZvRo,1655
-fm_weck/serve.py,sha256=hZc30B7EO0agetEHlKnRdNoMsK_FXuzvdIS6hhhzJgM,5166
+fm_weck/cli.py,sha256=THirNpxB3jKDlKIb1Hpo3upOnsjGY7edTfqbVq7Gp1Y,13277
+fm_weck/config.py,sha256=AAp5qPZfx2Gh-43jySzfHzHOEmbduHJalA7guV9SIzI,7340
+fm_weck/engine.py,sha256=uaUiH1Wu7QnBwh4CEw1cdy6FtlyCfPMyU9X2m8gQWnE,13664
+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=JWddzH_33O-hzjVkSVQ9-YUhEVFm23AXBBoSGmj-mvg,1697
+fm_weck/runexec_util.py,sha256=l6_3aeHg4WV6fPpRNPMzb5dGrw9aau4bDQDPi2AfLTQ,1006
+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
 fm_weck/resources/Containerfile,sha256=MltxP1of9klsQFNR8WyngRTJrPwxQTF4C9ennRxVqSo,391
-fm_weck/resources/__init__.py,sha256=ewuOXBraX5Tb8XkWE6xrv0cwrxG4r5Ckj5n_tRjeRf4,946
-fm_weck/resources/run_with_overlay.sh,sha256=IHuxwx5Ri32oGGxku4etcg0kIu2N8BvTpOB6q4MaErM,804
+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
@@ -30,101 +36,101 @@ fm_weck/resources/properties/valid-memcleanup.prp,sha256=2oOe4eCP56QonUGOAeTQ0BC
 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=NWAbq4tz5M_rvt5gn8gMQNVByKLDv_THyK1OMt8dfEY,2257
+fm_weck/resources/fm_tools/2ls.yml,sha256=PLkq6NZ1nDFmBPlmB6a1dF2KIjqSFPWDcVTW0H0G3kY,2261
 fm_weck/resources/fm_tools/aise.yml,sha256=ZJZuvQwkllQwzoVYoP33ImfkkyRQnClFbL2qdH55xWk,1246
 fm_weck/resources/fm_tools/aprove.yml,sha256=QmwxiB_BC66wt0WIVsDkMCzlEv5Bt0YsYvkMSjVAMUo,1299
-fm_weck/resources/fm_tools/brick.yml,sha256=VJ8TuL2iyIJxjmc-YQyOsrRR6JvNLFuaq4lr9kBV94I,1655
-fm_weck/resources/fm_tools/bubaak-split.yml,sha256=bjM_mGdHwe0Krnru7Vuv9XEhFrEClZ_dj9ToGMzANvo,1313
-fm_weck/resources/fm_tools/bubaak.yml,sha256=58_Unt_JfnnSltkxesKOPrI3CfsT6fP2gK8GZn13hl4,1725
-fm_weck/resources/fm_tools/cbmc.yml,sha256=gT9BjVnIfLkQxhihwy-Bkf3zxiBZoaJhDQGsr1gAzP8,1625
+fm_weck/resources/fm_tools/brick.yml,sha256=7kzFhJ-NlT_J_-K0fYkwyqh3UewQXUD1D4sJfqVNay8,1659
+fm_weck/resources/fm_tools/bubaak-split.yml,sha256=gZAIR2cYN4jG-6UucKeVKzgH_DI8ABc-56iwkRQz5zk,1422
+fm_weck/resources/fm_tools/bubaak.yml,sha256=BRShjdzq80mTefx6xTcvtdfmCNUYR7y4jDNPQ3GqWHI,1729
+fm_weck/resources/fm_tools/cbmc.yml,sha256=8M0VVRlT-ZMfJkPJpkTXAfr9GipCD2RgGX0YQ_80t8c,1747
 fm_weck/resources/fm_tools/cetfuzz.yml,sha256=mzA4_W5zqw3RsI-uMa_fkNkIgDvdWHPmP1w8sanjBWk,1481
 fm_weck/resources/fm_tools/coastal.yml,sha256=h0eihf_EzqF04yaFhmcFn4OAMrkqMEOAr9EHioaxjUg,1271
 fm_weck/resources/fm_tools/concurrentwitness2test.yml,sha256=sJ3hVgyOLH2Cid3MgxSVudVpaHY5z5Yq8GLi0nIU7RU,1276
 fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml,sha256=4dNi6WhHF4Ugla5UmiB5nj58Ur7y5xfAjq7clZoWKPc,1978
 fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml,sha256=2iwa_8dwHznrwzXvJbQhfUWwwIMo2aPzMCRZP9WrRyo,1958
-fm_weck/resources/fm_tools/coveritest.yml,sha256=LPLz32SSrHz6k6vaZtuuUdGutD1lV05erNbks3DQmCg,1617
+fm_weck/resources/fm_tools/coveritest.yml,sha256=4SlB1ecaelmX1KdqJ1OCDVPQNTDJrsBpYi5912NGGyw,1915
 fm_weck/resources/fm_tools/cpa-bam-bnb.yml,sha256=_XUF1uv2uWRXJ69TwECWszYqzJ5xtpQeFwO4aoPlcd0,1326
 fm_weck/resources/fm_tools/cpa-bam-smg.yml,sha256=llGQnewPpFEqKPUy-UIYGraiBXPTdpjO9Ii5Ttt3-Ko,1370
 fm_weck/resources/fm_tools/cpa-lockator.yml,sha256=-qmAmhViAA4MItZ5mnT-Fir1Ad--sA0viS4wH_Jj9dE,1353
-fm_weck/resources/fm_tools/cpa-witness2test.yml,sha256=UQElPJmloFdXxY-naYeX6sOh-cIg-dM19d3TDbPGFDQ,2688
-fm_weck/resources/fm_tools/cpachecker.yml,sha256=TL0zuuwGHP5CJQq3u5L6lWbJlK8xJ_5fjHo9U4WrluE,7184
-fm_weck/resources/fm_tools/cpv.yml,sha256=c8vlC35qt8QcoewcCpy9KGCSenfyzS32pHlRmXb3JEg,1529
+fm_weck/resources/fm_tools/cpa-witness2test.yml,sha256=w3iBhI2sxRxSq1KHogfBuple54wMMXmRd6KyGROf-Jk,2930
+fm_weck/resources/fm_tools/cpachecker.yml,sha256=n2wZ6Gyj81oI78I1zLXtAJcgLjk5yc_QdbS4OAqj5CM,7428
+fm_weck/resources/fm_tools/cpv.yml,sha256=ArRKWLyUy24bWypk2ms8ptF-EdgRWnxjpl9yqCJjkKc,1773
 fm_weck/resources/fm_tools/crux.yml,sha256=JG3NI1DWIHDsIdl2Dli8B9GBFhBsWZA7ondMyqVQbEE,1068
-fm_weck/resources/fm_tools/cseq.yml,sha256=l7399biboHfcxJpicQQKr4ZoJEhqerske1ylgbXXtZw,1441
-fm_weck/resources/fm_tools/dartagnan.yml,sha256=6LViNgd06p_jYdaEUWhNEMZusE9tuKO17j__IpCmJwE,2940
-fm_weck/resources/fm_tools/deagle.yml,sha256=h54Xr3ueOAFB1lxyVVhRfamNqiHlDgqwvo43DZ1AXwk,1397
+fm_weck/resources/fm_tools/cseq.yml,sha256=_9nyWmtzYxOe6JKywFvVVeEQBj9QchIdekK_f8fbIM0,1689
+fm_weck/resources/fm_tools/dartagnan.yml,sha256=3gCrB1UQ_Gipza1loNzD3hVo6RvLa6Y7uI_FQeFGty0,2944
+fm_weck/resources/fm_tools/deagle.yml,sha256=RQfa6LzptuwESHTA96ZFtf74bsFA8YzVEMW49jYfnL4,1401
 fm_weck/resources/fm_tools/divine.yml,sha256=ZghDnkPBG8t64iptXHbmj5PHRak1aRsCv4jbhTi6dY4,1136
-fm_weck/resources/fm_tools/ebf.yml,sha256=OT-cLtbJcr5upERn8jCnBKh0Ittz85s-2LN7iP8Be-I,1348
+fm_weck/resources/fm_tools/ebf.yml,sha256=9R2SczJ5Y8quiS2P_g7_dN49CNfaXrhvx7saAjezqhI,1352
 fm_weck/resources/fm_tools/emergentheta.yml,sha256=AZnOOjH5yJ9Kao3J5eGpyJilnGP0FF0-uliuplQ_rrA,1194
 fm_weck/resources/fm_tools/esbmc-incr.yml,sha256=JPLex3Nn6aHfurOAyUbm8-LMGV_e3oxtbvWj8ZpHFlc,1507
-fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=pqGrm7OfVqG3DlCI2Rb30iRuvEKnOveUM3xcWT6-yrs,2078
+fm_weck/resources/fm_tools/esbmc-kind.yml,sha256=nsqZI06xJRT9G7-5XXgLJlTv95nIMJFWQOoJD65cu0s,2082
 fm_weck/resources/fm_tools/fdse.yml,sha256=kACjKZtCFOOZEgrhTWiqQMWYJMBC1f3cavfZpWb9flo,1012
 fm_weck/resources/fm_tools/fizzer.yml,sha256=tKQDE6wo3h0VLCPtIQ8FfhHqeCDY4WnqVVCtRWV74ig,1423
-fm_weck/resources/fm_tools/frama-c-sv.yml,sha256=Qn-Fp2vOh-75CeUfGYlGdaOEhi1wlFUDs8YHmK5ZPak,1606
-fm_weck/resources/fm_tools/fshell-witness2test.yml,sha256=dAhnFJEEcuCNkXujEzXaAr_S92r6Ibth6QrdBhkQslM,1198
-fm_weck/resources/fm_tools/fusebmc-ia.yml,sha256=g58m9c0XnVqRJYV2GTie8TF15qopTmbhTDD1oBCRQvg,2025
-fm_weck/resources/fm_tools/fusebmc.yml,sha256=hul7ji4hOyG5vk6i0KTY_wPJerG8Sfy2E0gIAdfzAnI,1795
+fm_weck/resources/fm_tools/frama-c-sv.yml,sha256=7SrCby5NLqWni45bAqy6CCx5Gvj0lIK3xqKkB_qkFJ8,1610
+fm_weck/resources/fm_tools/fshell-witness2test.yml,sha256=Z-N_P9p4-MHkazC28oS_ltktXu1dk4lA2wUUKfYZUL0,1392
+fm_weck/resources/fm_tools/fusebmc-ia.yml,sha256=ksFgWgHsBRqKRcL7uw0AUgpwC9nu0AiqMTuxotj4lpU,2031
+fm_weck/resources/fm_tools/fusebmc.yml,sha256=f4t4F37nLFe3GCa0dbHpbWJBiuJBv48CI3pmNUH521I,1801
 fm_weck/resources/fm_tools/gazer-theta.yml,sha256=UVqsXry2AY2fWa4E72vQ0mlzU3M6m3JUht00vpS2H88,1506
 fm_weck/resources/fm_tools/gdart-llvm.yml,sha256=BZYTWkOLZflkf1GJOdaw_FEQ-i00PgmBTJQqBP6aSjA,1088
-fm_weck/resources/fm_tools/gdart.yml,sha256=eW6t3ql3eSm8M_Jy-feaMx8yDBsThP8f0MOhEo55c-s,1453
-fm_weck/resources/fm_tools/goblint.yml,sha256=Xbu4j4lrJGpEutynL_8k4luDSrLP8lxGgNje3Ui2Jes,2047
+fm_weck/resources/fm_tools/gdart.yml,sha256=4_55dBBtc_hoOZPAfzavjNq5LlueOS52LRqPvBKSFTU,1457
+fm_weck/resources/fm_tools/goblint.yml,sha256=1U3H4QySZWIjgvjx8m320cAqgEaeY0vJ7hNl66wmSqI,2051
 fm_weck/resources/fm_tools/graves-par.yml,sha256=dx3-yxiwTG5XILs6YCwhDImlmMWxUYGAybpRzlQrmKE,1263
 fm_weck/resources/fm_tools/graves.yml,sha256=yd_6fKrs2jsaXFK6YZxaDco7D-U_99yn-PXiZzoKN0Q,1854
-fm_weck/resources/fm_tools/gwit.yml,sha256=tbDLoNHQLcm3cZhgG1X8sPdItj3LFw0ds2nXpREXisg,1466
+fm_weck/resources/fm_tools/gwit.yml,sha256=oL-L1Co0Figk_CVxbeE2x92NBq92s_tLzoJYUpd0R6o,1470
 fm_weck/resources/fm_tools/hybridtiger.yml,sha256=sb-RgTzv-3U2wXu_5M8-cJ1HEhyDi0xhYvh7tQ5ISbI,1453
-fm_weck/resources/fm_tools/infer.yml,sha256=yCWWocT0wjJSsQwz00-N4Jj1EyCi7v11f-GfH6TU5i4,1291
+fm_weck/resources/fm_tools/infer.yml,sha256=dF97lctXlaCB9_JOLOJPJtE3ykhrRw_tbAXR5WyOldQ,1511
 fm_weck/resources/fm_tools/java-ranger.yml,sha256=iYep-QShnW69BFxbvT4GQRyotOYAfB25U6ndpE7KvYI,1210
-fm_weck/resources/fm_tools/jayhorn.yml,sha256=0UVLqkMkAbHKUpFvEsWtibVzBHVg_Hk3px1L-Hw4PNo,1639
-fm_weck/resources/fm_tools/jbmc.yml,sha256=1S6SCndHl2RYYwfFBzaWetz3y3ChOpo3XDYKnynmY4E,1799
+fm_weck/resources/fm_tools/jayhorn.yml,sha256=eu0-1a9pJosk0WLeIq6Gaej-qFqSoycXQ9CswNEF3ZU,1643
+fm_weck/resources/fm_tools/jbmc.yml,sha256=RVSNGcAgbEGOdKrkpzl1mpmbDsxgB2kE8-PkCQ2izrI,1803
 fm_weck/resources/fm_tools/jcwit.yml,sha256=zX9_vN3k1LrDrWfmd74yVQH3a0dDwXR8asRUvGY6E8U,882
 fm_weck/resources/fm_tools/jdart.yml,sha256=KPZQTzpkMJYaqb1V6MPQRGa7cJMuj5Q-EaWw_YHWulU,1149
-fm_weck/resources/fm_tools/key.yml,sha256=iC-fBi-PUdTqa9dGYp3YLPA61WVCMxMKAVO6T-Zp5_k,2154
+fm_weck/resources/fm_tools/key.yml,sha256=NGgOVlGsTsQRhFgL5-nFzY7cIUegkKqBeZdp0woQ3x8,2470
 fm_weck/resources/fm_tools/klee.yml,sha256=DKysTqhiWXmgrWkrI8KDnGCtz5_8e-74rUYwyp0xElw,1202
 fm_weck/resources/fm_tools/kleef.yml,sha256=ZFQHwMqsDTPLVnkTpCqPtihgI5AOMpepKwMh4ny2ym4,1092
-fm_weck/resources/fm_tools/korn.yml,sha256=ivoGYXZS9q_QdRwZWpwZuOStnZLd56iyP3-TrfPo8iw,1751
+fm_weck/resources/fm_tools/korn.yml,sha256=kV9ty6tqy4ZtXbJSsKRyslYtplejTyLQzfACus07CFc,1755
 fm_weck/resources/fm_tools/lazycseq.yml,sha256=yhuVbqrgvTCqwtfN7TGZTdL7TE1YcUHuydQHkQCxKJc,1122
 fm_weck/resources/fm_tools/legion-symcc.yml,sha256=oqt9SHEU9T6spDT2O3Dk9AVnHEjpQUkz8PvCrjjMleA,1330
 fm_weck/resources/fm_tools/legion.yml,sha256=CJHqUIEy88S0RWyL4XGU-SGdDTeN1BAd8uI3AB80X-I,1516
 fm_weck/resources/fm_tools/lf-checker.yml,sha256=HU3ZlUthUI2zFEuePUaZhh0_d7wyHRCwO5fweUMGJOA,1042
-fm_weck/resources/fm_tools/liv.yml,sha256=3qigwdY6-PuPzQUkj8SmNYHuc17Q6fmxe151bC6MRIk,1129
+fm_weck/resources/fm_tools/liv.yml,sha256=VTC4WPAs6gQWggyRrFSbjxvmNuKxWGPnfcts7nBDdAU,1482
 fm_weck/resources/fm_tools/locksmith.yml,sha256=iQO6fLpLUKahRtvLDaQXmZEVPp0uIGC7MGxyrkJWkjo,1054
-fm_weck/resources/fm_tools/metaval.yml,sha256=60tayfRtulelKUqM0cASp4qudrOjDqdx-_5g3knTmvU,1603
-fm_weck/resources/fm_tools/mlb.yml,sha256=djlkzfbIA46bbdiDm_6JhM_49j7S-j7OSRKKglxCUWI,1341
-fm_weck/resources/fm_tools/mopsa.yml,sha256=_qQJ6gxA2HH22TMZH7OfkFK-UuYG1TTsPqWr5g7aQxI,2761
+fm_weck/resources/fm_tools/metaval.yml,sha256=nvleUbf6HnBd2lToUoOtmsRGLS9p0zOcIkWSEZGCxWQ,1997
+fm_weck/resources/fm_tools/mlb.yml,sha256=kLTPnshi6vmwx27EJMJXBsfdKK9MXYK6OerH7wtnPpI,1345
+fm_weck/resources/fm_tools/mopsa.yml,sha256=VlJ2_zpRy9qRkCRSrPXTcga7DhZWoBKp6lRgS7AoIuA,2765
 fm_weck/resources/fm_tools/nitwit.yml,sha256=iy9wxHlYmhqFEoGopBiv_0hmlfvtj-wvr5wGawP7Hfg,1675
 fm_weck/resources/fm_tools/owic.yml,sha256=iEwN7Gh1AX03rDAwq54gclJIm_cV3jbqArW73vwgY_0,1232
-fm_weck/resources/fm_tools/pesco.yml,sha256=Sn6VXt1BAizYQsI87joHZHJeu6w7qHI4oD5AnifwjAs,1899
+fm_weck/resources/fm_tools/pesco.yml,sha256=j8ArRENNGDwxh_UsS-AKWk4nVStZcNg-HFesT2pWmfo,1903
 fm_weck/resources/fm_tools/pichecker.yml,sha256=8go2GTLyXukkHrth6VEBSbH304CKovAogMotbKSyNpI,1303
 fm_weck/resources/fm_tools/pinaka.yml,sha256=82oADOZpZ_cXn_n-h4u_NAct6CvRr9dNzqqNQjia4rk,1308
-fm_weck/resources/fm_tools/predatorhp.yml,sha256=-b6a0kbIG9gqBi3LvpRz976VLc9a4QouWlVk-8dEDYE,2155
+fm_weck/resources/fm_tools/predatorhp.yml,sha256=te8FI0eNjvOe0Itmx9ZnTqD-DTyhkj7LQ5f7ey844Cw,2159
 fm_weck/resources/fm_tools/proton.yml,sha256=tov4hwob9ztEoEcooYHLlgV4UdfzYss8aPK3miP05Pk,1115
-fm_weck/resources/fm_tools/prtest.yml,sha256=lBoCUtznXC2CaL4TlBZxid0veSQ7N0L4PLTDBTET6sc,1336
+fm_weck/resources/fm_tools/prtest.yml,sha256=XuHQMDJIit32eNG1ufDWl2eITIjp7ixqlR1djiNuKcw,1342
 fm_weck/resources/fm_tools/relay-sv.yml,sha256=XU6m1WwpLwFolP-cVt1Ia_n2biSspvRMsqX2LA6ZTyA,1033
 fm_weck/resources/fm_tools/rizzer.yml,sha256=qRp9hM26LabMFNcMoABHOciaJHao7bBxrvdvHlJJl60,1243
-fm_weck/resources/fm_tools/schema.yml,sha256=7fzmmqBbh-FAD2LffFCEThJh3fLBo6YAYEDYhf4_bto,20470
+fm_weck/resources/fm_tools/schema.yml,sha256=vgCWOjWxu0KjxcD_D5BnhN-i-x7ukCf7s7VEvTeFHP0,20837
 fm_weck/resources/fm_tools/spf.yml,sha256=DVWM2iCDg3I0Sft4pnuMfmA8XqbBLd0YGHzcyPy-IW4,1326
 fm_weck/resources/fm_tools/sv-sanitizers.yml,sha256=XsNjhdXK61JZG2S0tve1ChDLGDEbOT_kU1_GamA3Rsc,956
 fm_weck/resources/fm_tools/swat.yml,sha256=S_avjdEaYil90ATqAzsxHDFzOaMhKEj8yiE2Sa7SyEc,1286
 fm_weck/resources/fm_tools/symbiotic-witch.yml,sha256=-JeF8RmxGjDuLrnzR9YtDh4xU9xi129qGIQSNg-eZ9M,1755
-fm_weck/resources/fm_tools/symbiotic.yml,sha256=GGIjnY4oCSr62708bkQ1Rty6wjq9MFCnp5_66YPImxU,4315
-fm_weck/resources/fm_tools/testcov.yml,sha256=bP1gj2Acvwq0z9HpFa8VQCpLsYAzANOnD6s21ewxIB0,2100
-fm_weck/resources/fm_tools/theta.yml,sha256=cXca1VdvXkwaYxlL-lherGCvi6XUjlwWSbZf_EH8xaE,1734
+fm_weck/resources/fm_tools/symbiotic.yml,sha256=uw3C8qsbNMUs7yppD28S6W267L3rLHBQh_0OfIvB4Bk,4577
+fm_weck/resources/fm_tools/testcov.yml,sha256=Mlw6HoiGguvO00vDCClLoo1HXX955dwtOoCn3BwMXso,2106
+fm_weck/resources/fm_tools/theta.yml,sha256=8A5ZghLLYVlGO3hGDTuFAqTWbD8yLzFk9TcKoXcpEZE,1738
 fm_weck/resources/fm_tools/tracerx-wp.yml,sha256=KHDTtMlO8qgkzkKTTqlXbf6flN-zc_HIZ9KBkVqbAUU,1038
-fm_weck/resources/fm_tools/tracerx.yml,sha256=TlDLEAX_fvqd6RKfsoBRJrbcPrkiaSsWeDJ1F_yACGk,1554
-fm_weck/resources/fm_tools/uautomizer.yml,sha256=Gfdm5l3jMvUYxWFYfbtzdhEz435DrszFlj3Dz-76QPs,4961
-fm_weck/resources/fm_tools/ugemcutter.yml,sha256=TIXj99dQ8hw1cUNz9M-WHFanQmbBpMr-bW8IuPgzVd0,2377
-fm_weck/resources/fm_tools/ukojak.yml,sha256=vuJiCXraYVcv81LrjWhaqR4fMMjKzxPl5yuF46lGHno,2021
-fm_weck/resources/fm_tools/utaipan.yml,sha256=O7pjXxe48ZKGFIb3bNapxD-8s9mlcuSjmKgSKKSYevo,2178
+fm_weck/resources/fm_tools/tracerx.yml,sha256=ycb00YUuUQXmZ4l6VVVhhTa3PuPj5AeOApj2QZSMQiA,1562
+fm_weck/resources/fm_tools/uautomizer.yml,sha256=i-J5ihdT8eP4M9PYZVvSGgiUaltYZPc8VPE3RXmDYNU,5157
+fm_weck/resources/fm_tools/ugemcutter.yml,sha256=sDBYSAWtjEEdRjjAj1SjH9VTdAP2vEIHOvCXHO9gPoM,2381
+fm_weck/resources/fm_tools/ukojak.yml,sha256=v5PUbPSpW5WzMFLAuGvMwS6TGiYnodrrP7B296sTIpA,2025
+fm_weck/resources/fm_tools/utaipan.yml,sha256=hr4ZaTfj43Y59by8Iw2RLAbUxM7xTqI6jPkJUcAXgcA,2182
 fm_weck/resources/fm_tools/utestgen.yml,sha256=0TolGLje7zT48ny5TfPf5qMscwW2H2dsbn5i5gq0AnY,1069
-fm_weck/resources/fm_tools/veriabs.yml,sha256=_dmoxLEBL5sLjxA-XlCnaVArTUq3bUHMytxLELjuqxE,1624
-fm_weck/resources/fm_tools/veriabsl.yml,sha256=642WNor-_8q8Mhf-d91zwc5zeTL0gNdWSdbCoCFwwpc,2379
-fm_weck/resources/fm_tools/verifuzz.yml,sha256=cGB62ku9F_RLkBtJayFBvw-I4oNEf5K6qKKzNHbSLHA,20800
+fm_weck/resources/fm_tools/veriabs.yml,sha256=rMSRByfgGwyy7hD79MfiDCn_xPKd2L-0XKGQ4ARyTBg,1632
+fm_weck/resources/fm_tools/veriabsl.yml,sha256=Le9i6xF0coarqEHzprWfNAbGoT4Off3MZM5cuN700Js,2387
+fm_weck/resources/fm_tools/verifuzz.yml,sha256=vqiixchNuhD5nmpWt0FF8RuByS-ezM-hHfHT9v3nBkg,20804
 fm_weck/resources/fm_tools/verioover.yml,sha256=g1IYUaoUVTUGCvw5LP8Vi3q5PyNMFcrc3HovDJrX7ns,1019
 fm_weck/resources/fm_tools/wasp-c.yml,sha256=NWEb2vpIBu75kZJdEq0am8Mpi2HFu5nhDI1edAMjUzk,1238
 fm_weck/resources/fm_tools/wit4java.yml,sha256=SukwwE46DsDmZouAwHhr_aaOjxIaeOrIS7o7P4eDWX0,1243
 fm_weck/resources/fm_tools/witch.yml,sha256=5d5aYmkrlG78M-RLdDbdi6EJWOfD0CskWtJWGXtwEyI,1152
 fm_weck/resources/fm_tools/witnesslint.yml,sha256=Y6A2TXPyjVxZ9Fhmyd7GOKY7x1_jXjshvmrIM4uW96A,3085
-fm_weck-1.2.1.dist-info/METADATA,sha256=v7TBzncQsW4_R5D4Z-uytlzATNdfNcXYHzFVhfWB6nU,2771
-fm_weck-1.2.1.dist-info/WHEEL,sha256=1yFddiXMmvYK7QYTqtRNtX66WJ0Mz8PYEiEUoOUUxRY,87
-fm_weck-1.2.1.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
-fm_weck-1.2.1.dist-info/RECORD,,
+fm_weck-1.4.0.dist-info/METADATA,sha256=Xs9-dvBYxTnLw0EmCUAkgXPO_WwK-gustbuCAhJpe_g,2771
+fm_weck-1.4.0.dist-info/WHEEL,sha256=C2FUgwZgiLbznR-k0b_5k3Ai_1aASOXDss3lzCUsUug,87
+fm_weck-1.4.0.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
+fm_weck-1.4.0.dist-info/RECORD,,

{fm_weck-1.2.1.dist-info → fm_weck-1.4.0.dist-info}/WHEEL

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