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

fm_weck/cli.py

@@ -205,7 +205,11 @@ def parse(raw_args: list[str]) -> Tuple[Callable[[], None], Namespace]:
     add_tool_arg(install, nargs="+")
     install.set_defaults(main=main_install)
 
-    runexec = subparsers.add_parser("runexec", help="Run runexec on a command inside a container.")
+    runexec = subparsers.add_parser(
+        "runexec",
+        help="Run runexec on a command inside a container.",
+        allow_abbrev=False,
+    )
     runexec.add_argument(
         "--image",
         dest="use_image",

fm_weck/engine.py

@@ -344,15 +344,15 @@ class Podman(Engine):
         return [
             "--annotation",
             "run.oci.keep_original_groups=1",
-            #  "--cgroups=split",
+            "--cgroups=split",
             "--security-opt",
             "unmask=/sys/fs/cgroup",
             "--security-opt",
             "unmask=/proc/*",
             "--security-opt",
             "seccomp=unconfined",
-            "-v",
-            "/sys/fs/cgroup:/sys/fs/cgroup:rw",
+            # "-v",
+            # "/sys/fs/cgroup:/sys/fs/cgroup:rw",
         ]
 
 

fm_weck/resources/fm_tools/2ls.yml

@@ -9,6 +9,7 @@ fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - viktor.malik
   - FrNecas
+  - peterschrammel
 
 maintainers:
   - orcid: 0000-0002-0608-0748
@@ -18,6 +19,10 @@ maintainers:
     url: https://www.fit.vut.cz/person/imalik/.en
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.10184626"
+    benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: "10.5281/zenodo.10184626"
     benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
@@ -28,6 +33,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-0608-0748
+      name: Viktor Malík
+      institution: Brno University of Technology
+      country: Czechia
+      url: https://www.fit.vut.cz/person/imalik/.en
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/aise.yml

@@ -1,13 +1,13 @@
 name: aise
 input_languages:
   - C
-project_url: https://github.com/ZhenWang233/AISE
-repository_url: https://github.com/ZhenWang233/AISE
+project_url: https://github.com/zbchen/aise-verifier
+repository_url: https://github.com/zbchen/aise-verifier
 spdx_license_identifier: GPL-3.0-or-later
 benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/aise.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
-  - ZhenWang233
+  - liar1007
 
 maintainers:
   - orcid: 0000-0002-4066-7892
@@ -17,12 +17,25 @@ maintainers:
     url: https://zbchen.github.io/
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.14162938"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: "10.5281/zenodo.10201159"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-4066-7892
+      name: Zhenbang Chen
+      institution: National University of Defense Technology
+      country: China
+      url: https://zbchen.github.io/
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/aprove.yml

@@ -1,4 +1,4 @@
-name: AProVE
+name: AProVE (KoAT + LoAT)
 input_languages:
   - C
 project_url: https://aprove.informatik.rwth-aachen.de/
@@ -6,9 +6,15 @@ 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
@@ -16,6 +22,15 @@ maintainers:
     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: []
@@ -26,6 +41,15 @@ versions:
       - 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"

fm_weck/resources/fm_tools/brick.yml

@@ -17,6 +17,10 @@ maintainers:
     url: null
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.13961249"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202700"
     benchexec_toolinfo_options: []
@@ -27,6 +31,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-0517-7801
+      name: Lei Bu
+      institution: Nanjing University
+      country: China
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/bubaak-split.yml

@@ -18,6 +18,12 @@ maintainers:
     url: null
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.13958522"
+    benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-cfg", "splitting-svcomp24"]
+    required_ubuntu_packages:
+      - clang
+      - python3
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202207"
     benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-cfg", "splitting-svcomp24"]
@@ -27,6 +33,15 @@ versions:
       - python3-lxml
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-1132-5516
+      name: Marek Chalupa
+      institution: ISTA
+      country: Austria
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/bubaak.yml

@@ -17,6 +17,12 @@ maintainers:
     url: null
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.13958522"
+    benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-timeout", "900"]
+    required_ubuntu_packages:
+      - clang
+      - python3
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202207"
     benchexec_toolinfo_options: ["-sv-comp", "-sv-comp-witness", "witness.graphml", "-timeout", "900"]
@@ -33,6 +39,15 @@ versions:
       - python3-lxml
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-1132-5516
+      name: Marek Chalupa
+      institution: ISTA
+      country: Austria
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/cbmc.yml

@@ -25,8 +25,18 @@ versions:
       - libc6-dev-i386
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       orcid: 0000-0002-7947-983X

fm_weck/resources/fm_tools/cetfuzz.yml

@@ -39,8 +39,19 @@ versions:
       - python3-pandas
       - python3-pycparser
       - python3-sklearn
-      
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
+
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    hors-concours: true
+    tool_version: "testcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/coastal.yml

@@ -23,8 +23,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp20"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp20"
     jury_member:
       name: Hors Concours
@@ -33,6 +43,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp20"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/concurrentwitness2test.yml

@@ -10,13 +10,23 @@ fmtools_entry_maintainers:
   - levente.bajczi
 
 maintainers:
-  - orcid: 0000-0002-6551-5860
-    name: Levente Bajczi
+  - name: Levente Bajczi
+    orcid: 0000-0002-6551-5860
     institution: Budapest University of Technology and Economics
     country: Hungary
     url: http://mit.bme.hu/~bajczi
+  - name: Zsófia Ádám
+    orcid: 0000-0003-2354-1750
+    institution: Budapest University of Technology and Economics
+    country: Hungary
+    url: http://mit.bme.hu/~adamzsofi
 
 versions:
+  - version: "svcomp25"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - python3
+    doi: 10.5281/zenodo.14063728
   - version: "svcomp24"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
@@ -25,6 +35,15 @@ versions:
 
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-2354-1750
+      name: Zsófia Ádám
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~adamzsofi
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/cooperace.yml

@@ -0,0 +1,51 @@
+name: CoOpeRace
+input_languages:
+  - C
+project_url: https://github.com/sws-lab/cooperace
+repository_url: https://github.com/sws-lab/cooperace
+spdx_license_identifier: MIT
+benchexec_toolinfo_module: cooperace.py
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - vesal.vojdani
+
+maintainers:
+  - orcid: 0009-0009-1203-923X
+    name: Chris Matsiselts
+    institution: University of Tartu
+    country: Estonia
+    url: null
+  - orcid: 0000-0003-4336-7980
+    name: Vesal Vojdani
+    institution: University of Tartu
+    country: Estonia
+    url: null
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.13958298
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - clang-14
+      - llvm-14
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-4336-7980
+      name: Vesal Vojdani
+      institution: University of Tartu
+      country: Estonia
+      url: null
+
+techniques:
+  - Concurrency Support
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml

@@ -35,10 +35,22 @@ versions:
       - python3-lxml
       - gcc
       - libc6-dev-i386
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -47,6 +59,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml

@@ -35,10 +35,22 @@ versions:
       - python3-lxml
       - gcc
       - libc6-dev-i386
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -47,6 +59,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/coveritest.yml

@@ -17,6 +17,11 @@ maintainers:
     url: https://www.sosy-lab.org/people/jakobs/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.13952266
+    benchexec_toolinfo_options: ['--benchmark', '--heap', '10000M', '--testcomp25', "--option", "log.consoleLevel=SEVERE"]
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless 
   - version: "testcomp24"
     doi: 10.5281/zenodo.10066216
     benchexec_toolinfo_options: ['-benchmark', '-heap', '10000M', '-testcomp24', "-setprop", "log.consoleLevel=SEVERE"]
@@ -29,6 +34,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0000-0002-5890-4673
+      name: Marie-Christine Jakobs
+      institution: LMU Munich
+      country: Germany
+      url: null 
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/cpa-bam-bnb.yml

@@ -24,8 +24,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -34,6 +44,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cpa-bam-smg.yml

@@ -23,8 +23,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp22"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours
@@ -33,6 +43,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cpa-lockator.yml

@@ -24,8 +24,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp21"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp21"
     jury_member:
       name: Hors Concours
@@ -34,6 +44,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp21"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cpa-witness2test.yml

@@ -41,6 +41,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    hors-concours: true
+    tool_version: "2.3"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "2.3"