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

fm_weck/resources/fm_tools/pichecker.yml

@@ -23,8 +23,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

fm_weck/resources/fm_tools/pinaka.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/predatorhp.yml

@@ -22,6 +22,8 @@ versions:
     benchexec_toolinfo_options: ['--witness', 'witness.graphml']
     required_ubuntu_packages:
       - python2.7
+    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/svcomp23/2023/predatorhp.zip"
     benchexec_toolinfo_options: ['--witness', 'error-witness.graphml']
@@ -29,6 +31,15 @@ versions:
       - expect
 
 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"
@@ -40,6 +51,7 @@ competition_participations:
       url: https://www.fit.vut.cz/person/isokova/.en
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/proton.yml

@@ -17,6 +17,14 @@ maintainers:
     url: null
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.13953734
+    benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
+    required_ubuntu_packages:
+      - gcc
+      - libc6-dev-i386
+      - clang-14
+      - llvm-14
   - version: "svcomp24"
     doi: 10.5281/zenodo.10185252
     benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
@@ -26,7 +34,17 @@ versions:
       - clang-14
       - llvm-14
 
+
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0001-7368-2389
+      name: Ravindra Metta
+      institution: TCS
+      country: India
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -37,6 +55,8 @@ competition_participations:
       country: India
       url: null
 
+
+
 techniques:
   - Bounded Model Checking
 

fm_weck/resources/fm_tools/prtest.yml

@@ -26,6 +26,15 @@ versions:
     required_ubuntu_packages: []
 
 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/racerf.yml

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

fm_weck/resources/fm_tools/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.3"   
+    benchexec_toolinfo_options: ["release", "budget[900]"]
+    required_ubuntu_packages: []
+    doi: "10.5281/zenodo.14194599"
+
+competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "1.0.3"
+    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.14172703
+    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.14194879
+    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,20 @@ maintainers:
     url: "https://www.fi.muni.cz/~xjonas/"
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.14183154"
+    benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+      - python3-clang
+  - version: "testcomp25"
+    doi: "10.5281/zenodo.14183154"
+    benchexec_toolinfo_options: ['--test-comp']
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+      - python3-clang
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202594"
     benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
@@ -43,6 +57,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 +168,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.14194483
+    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.14194485
+    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.14193187"
+    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
+