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

fm_weck/resources/fm_tools/relay-sv.yml

@@ -22,8 +22,19 @@ versions:
     required_ubuntu_packages: 
       - m4
       - psmisc
+    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: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/rizzer.yml

@@ -32,6 +32,15 @@ versions:
       - clang
 
 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/sikraken.yml

@@ -0,0 +1,42 @@
+name: Sikraken
+input_languages:
+  - C
+project_url: https://github.com/echancrure/Sikraken
+repository_url: https://github.com/echancrure/Sikraken
+spdx_license_identifier: LGPL-3.0-only
+benchexec_toolinfo_module: "sikraken.py"
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - echancrure
+
+maintainers:
+  - orcid: 0000-0001-6338-6367
+    name: Christophe Meudec
+    institution: South East Technological University
+    country: Ireland
+    url: https://www.setu.ie/staff/chris-meudec
+
+
+versions:
+  - version: "1.0.2"   
+    benchexec_toolinfo_options: ["release", "budget[900]"]
+    required_ubuntu_packages: []
+    doi: "10.5281/zenodo.14176165"
+
+competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "1.0.2"
+    jury_member:
+      orcid: 0000-0001-6338-6367
+      name: Christophe Meudec
+      institution: South East Technological University
+      country: Ireland
+      url: https://www.setu.ie/staff/chris-meudec
+
+techniques:
+  - Symbolic Execution
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/spf.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 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
@@ -32,6 +42,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/sv-sanitizers.yml

@@ -10,22 +10,37 @@ fmtools_entry_maintainers:
   - sim642
 
 maintainers:
-  - name: Simmo Saan
+  - orcid: 0000-0003-4553-1350
+    name: Simmo Saan
     institution: University of Tartu
     country: Estonia
     url: https://sim642.eu/
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14141192
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: 10.5281/zenodo.10091272
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-4553-1350
+      name: Simmo Saan
+      institution: University of Tartu
+      country: Estonia
+      url: https://sim642.eu/
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0003-4553-1350
       name: Simmo Saan
       institution: University of Tartu
       country: Estonia
@@ -36,3 +51,5 @@ techniques:
   - Random Execution
 
 frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/svf-svc.yml

@@ -0,0 +1,45 @@
+name: SVF-SVC
+input_languages:
+  - C
+project_url: https://github.com/Lasagnenator/svf-svc-comp/
+repository_url: https://github.com/Lasagnenator/svf-svc-comp/
+spdx_license_identifier: AGPL-3.0-or-later
+benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/svf-svc.py"
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - ConstantlyRecompiling
+
+maintainers:
+  - orcid: 0000-0000-0000-0000
+    name: Matthew Richards
+    institution: University of New South Wales
+    country: Australia
+    url: null
+  - orcid: 0000-0000-0000-0000
+    name: Cameron McGowan
+    institution: University of New South Wales
+    country: Australia
+    url: null
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14029473
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: ["python3-yaml"]
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0000-0000-0000
+      name: Matthew Richards
+      institution: University of New South Wales
+      country: Australia
+      url: null
+
+techniques: []
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/swat.yml

@@ -30,6 +30,15 @@ versions:
       - openjdk-17-jdk-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/symbiotic-witch.yml

@@ -3,7 +3,7 @@ input_languages:
   - C
 project_url: https://github.com/ayazip/witch-klee
 repository_url: https://github.com/ayazip/witch-klee
-spdx_license_identifier: "LGPL-3.0-or-later"
+spdx_license_identifier: "MIT"
 benchexec_toolinfo_module: "symbiotic-witch.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
@@ -17,6 +17,13 @@ maintainers:
     url: null
 
 versions:
+  - version: "svcomp25"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+      - llvm-14
+    doi: "10.5281/zenodo.14170955"
   - version: "svcomp24"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
@@ -31,6 +38,15 @@ versions:
     doi: "10.5281/zenodo.7630406"
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-1072-8137
+      name: Paulína Ayaziová
+      institution: Masaryk University, Brno
+      country: Czechia
+      url: null
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/symbiotic.yml

@@ -17,6 +17,19 @@ maintainers:
     url: "https://www.fi.muni.cz/~xjonas/"
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.14035991"
+    benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+  - version: "testcomp25"
+    doi: "10.5281/zenodo.14035991"
+    benchexec_toolinfo_options: ['--test-comp']
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202594"
     benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
@@ -43,6 +56,24 @@ versions:
       - python3-lxml
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-4703-0795
+      name: Martin Jonáš
+      institution: Masaryk University, Brno
+      country: Czechia
+      url: "https://www.fi.muni.cz/~xjonas/"
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0000-0003-4703-0795
+      name: Martin Jonáš
+      institution: Masaryk University, Brno
+      country: Czechia
+      url: "https://www.fi.muni.cz/~xjonas/"
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -136,4 +167,4 @@ literature:
     year: 2014
   - doi: 10.1007/978-3-642-36742-7_50
     title: "Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution (Competition Contribution)"
-    year: 2013
+    year: 2013

fm_weck/resources/fm_tools/testcov.yml

@@ -22,8 +22,16 @@ maintainers:
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/lemberger/
-
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14040656
+    benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
+    required_ubuntu_packages:
+      - clang
+      - clang-format
+      - clang-tidy
+      - llvm
+      - gcc
   - version: "testcomp24"
     doi: 10.5281/zenodo.10203746
     benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
@@ -35,6 +43,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Validation of Test Suites"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0000-0001-7365-5030
+      name: Matthias Kettl
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/kettl/
   - competition: "Test-Comp 2024"
     track: "Validation of Test Suites"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/theta.yml

@@ -11,11 +11,20 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Levente Bajczi
+    orcid: 0000-0002-6551-5860
     institution: Budapest University of Technology and Economics
     country: Hungary
     url: http://mit.bme.hu/~bajczi
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14168247
+    benchexec_toolinfo_options:
+      ["--svcomp", "--portfolio", "STABLE", "--loglevel", "RESULT"]
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless
+      - libgomp1
+      - libmpfr6
   - version: "svcomp24"
     doi: 10.5281/zenodo.10202679
     benchexec_toolinfo_options:
@@ -33,6 +42,15 @@ versions:
       - libmpfr6
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-6551-5860
+      name: Levente Bajczi
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~bajczi
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -62,3 +80,9 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+
+literature:
+  - doi: 10.1007/978-3-031-57256-2_30
+    title: "Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)"
+    year: 2024

fm_weck/resources/fm_tools/thorn.yml

@@ -0,0 +1,46 @@
+name: Thorn
+input_languages:
+  - C
+project_url: https://github.com/ftsrg/theta
+repository_url: https://github.com/ftsrg/theta
+spdx_license_identifier: Apache-2.0
+benchexec_toolinfo_module: benchexec.tools.theta
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - levente.bajczi
+
+maintainers:
+  - name: Levente Bajczi
+    orcid: 0000-0002-6551-5860
+    institution: Budapest University of Technology and Economics
+    country: Hungary
+    url: http://mit.bme.hu/~bajczi
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14168249
+    benchexec_toolinfo_options: ["--svcomp", "--portfolio", "HORN", "--loglevel", "RESULT"]
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless
+      - libgomp1
+      - libmpfr6
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-6551-5860
+      name: Levente Bajczi
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~bajczi
+
+techniques:
+  - Predicate Abstraction
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/tracerx-wp.yml

@@ -13,17 +13,30 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Joxan Jaffar
+    orcid: 0000-0001-9988-6144
     institution: National University of Singapore
     country: Singapore
     url: https://www.comp.nus.edu.sg/cs/bio/joxan/
 
 versions:
+  - version: "testcomp25"
+    doi: "10.5281/zenodo.14066108"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: "10.5281/zenodo.10202605"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Joxan Jaffar
+      institution: National University of Singapore
+      country: Singapore
+      url: https://www.comp.nus.edu.sg/cs/bio/joxan/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -37,3 +50,9 @@ techniques:
   - Interpolation
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-031-57259-3_19
+    title: "TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)"
+    year: 2024
+

fm_weck/resources/fm_tools/tracerx.yml

@@ -9,14 +9,20 @@ fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - sajjadrsm
   - sanghu1790
+  - arpitad10j
 
 maintainers:
   - name: Joxan Jaffar
+    orcid: 0000-0001-9988-6144
     institution: National University of Singapore
     country: Singapore
     url: https://www.comp.nus.edu.sg/cs/bio/joxan/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14066128
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: 10.5281/zenodo.10200610
     benchexec_toolinfo_options: []
@@ -27,6 +33,14 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Joxan Jaffar
+      institution: National University of Singapore
+      country: Singapore
+      url: https://www.comp.nus.edu.sg/cs/bio/joxan/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -52,3 +66,8 @@ techniques:
   - Interpolation
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-030-45234-6_28
+    title: "TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)"
+    year: 2020

fm_weck/resources/fm_tools/uautomizer.yml

@@ -14,6 +14,11 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0004-9216-1801
+    name: Marcel Ebbinghaus
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
   - orcid: 0000-0003-4252-3558
     name: Matthias Heizmann
     institution: University of Freiburg
@@ -25,7 +30,7 @@ maintainers:
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
   - orcid: 0000-0002-5656-306X
-    name: "Frank Schüssele"
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -35,6 +40,24 @@ maintainers:
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14110286
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+  - version: svcomp25-correctness
+    doi: 10.5281/zenodo.14110286
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+  - version: svcomp25-violation
+    doi: 10.5281/zenodo.14110286
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, violation_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+
   - version: svcomp24-correctness-post-deadline-yaml-wrapper-fix
     doi: 10.5281/zenodo.10223333
     benchexec_toolinfo_options:
@@ -81,6 +104,52 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0003-4252-3558
+      name: Matthias Heizmann
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/heizmann
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 1.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 2.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Violation Witnesses 1.0
+    tool_version: svcomp25-violation
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Violation Witnesses 2.0
+    tool_version: svcomp25-violation
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -147,9 +216,8 @@ frameworks_solvers:
 
 literature:
   - doi: 10.1007/978-3-642-39799-8_2
-    title: "Software Model Checking for People Who Love Automata"
+    title: Software Model Checking for People Who Love Automata
     year: 2013
   - doi: 10.1007/978-3-031-30820-8_39
-    title: "Ultimate Automizer 2023 (Competition Contribution)"
+    title: Ultimate Automizer 2023 (Competition Contribution)
     year: 2023
-

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -10,23 +10,32 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14110331
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203548
     benchexec_toolinfo_options: [--full-output]
@@ -39,6 +48,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0003-4885-0728
+      name: Dominik Klumpp
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/klumpp
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -76,8 +94,8 @@ frameworks_solvers:
 
 literature:
   - doi: 10.1145/3519939.3523727
-    title: "Sound sequentialization for concurrent program verification"
+    title: Sound sequentialization for concurrent program verification
     year: 2022
   - doi: 10.1007/978-3-030-99527-0_35
-    title: "Ultimate GemCutter and the Axes of Generalization"
+    title: Ultimate GemCutter and the Axes of Generalization
     year: 2022