fm-weck 1.5.2__py3-none-any.whl → 1.6.0__py3-none-any.whl

fm_weck/resources/fm_tools/sikraken.yml

@@ -1,5 +1,8 @@
 id: sikraken
 name: Sikraken
+description: |
+  Sikraken is a test data generator for C code that uses Prolog for symbolic execution at source code 
+  level and Constraints Logic Programming for constraints resolution.
 input_languages:
   - C
 project_url: https://github.com/echancrure/Sikraken
@@ -17,14 +20,35 @@ maintainers:
     country: Ireland
     url: https://www.setu.ie/staff/chris-meudec
 
-
 versions:
+  - version: "1.3.4"
+    benchexec_toolinfo_options: ["--testcomp"]
+    required_ubuntu_packages:
+      - gcc
+    doi: "10.5281/zenodo.18062402"
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "1.0.8"
     benchexec_toolinfo_options: ["release", "budget[900]"]
     required_ubuntu_packages: []
     doi: "10.5281/zenodo.14343769"
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "1.3.4"
+    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
+    participants:
+      - orcid: 0000-0001-6338-6367
+        name: Christophe Meudec
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "1.0.8"

fm_weck/resources/fm_tools/spf.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - yannicnoller
 
 maintainers:
-  - name: Yannic Noller
+  - orcid: 0000-0000-0000-0000
+    name: Yannic Noller
     institution: National University of Singapore
     country: Singapore
     url:
@@ -20,11 +21,23 @@ versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10407521
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages: []
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:

fm_weck/resources/fm_tools/sv-sanitizers.yml

@@ -7,7 +7,7 @@ input_languages:
 project_url: https://github.com/sim642/sv-sanitizers
 repository_url: https://github.com/sim642/sv-sanitizers
 spdx_license_identifier: MIT
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/sv-sanitizers.py"
+benchexec_toolinfo_module: benchexec.tools.sv-sanitizers
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - sim642
@@ -20,16 +20,53 @@ maintainers:
     url: https://sim642.eu/
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17400380
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - python3
+      - gcc
+      - libc6-dev-i386
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "svcomp25"
     doi: 10.5281/zenodo.14172703
     benchexec_toolinfo_options: []
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - python3
+      - gcc
+      - libc6-dev-i386
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
   - version: "svcomp24"
     doi: 10.5281/zenodo.10091272
     benchexec_toolinfo_options: []
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - python3
+      - gcc
+      - libc6-dev-i386
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0003-4553-1350
+      name: Simmo Saan
+      institution: University of Tartu
+      country: Estonia
+      url: https://sim642.eu/
+    participants:
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"
@@ -39,6 +76,9 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants:
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -48,6 +88,9 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants:
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
 
 techniques:
   - Concurrency Support

fm_weck/resources/fm_tools/svf-svc.yml

@@ -10,7 +10,7 @@ input_languages:
 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"
+benchexec_toolinfo_module: benchexec.tools.svf-svc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - ConstantlyRecompiling
@@ -26,14 +26,46 @@ maintainers:
     institution: University of New South Wales
     country: Australia
     url:
+  - orcid: 0000-0000-0000-0000
+    name: Jiawei Wang
+    institution: University of New South Wales
+    country: Australia
+    url:
+  - orcid: 0000-0000-0000-0000
+    name: Terence Zhao
+    institution: University of New South Wales
+    country: Australia
+    url:
+  - orcid: 0000-0000-0000-0000
+    name: Angela He
+    institution: University of New South Wales
+    country: Australia
+    url:
+  - orcid: 0000-0000-0000-0000
+    name: Haoyang Qu
+    institution: University of New South Wales
+    country: Australia
+    url:
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17660355
+    benchexec_toolinfo_options: ["--witness", "witness.graphml"]
+    required_ubuntu_packages: ["python3-yaml", "libxml2", "clang-14", "clang"]
   - version: "svcomp25"
     doi: 10.5281/zenodo.14208597
     benchexec_toolinfo_options: ["--witness", "witness.graphml"]
     required_ubuntu_packages: ["python3-yaml"]
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      name: Matthew Richards
+      institution: University of New South Wales
+      country: Australia
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/svlibchecker.yml

@@ -0,0 +1,82 @@
+id: svlibchecker
+name: SvLibChecker
+description: |
+  SvLibChecker is an extensible and educational
+  framework for implementing SV-LIB verifiers.
+  The goal is to make it easy to develop new verification
+  techniques for SV-LIB files and to provide 
+  an easy entry point for students and researchers
+  interested in model checking.
+input_languages:
+  - SV-LIB
+project_url: https://gitlab.com/sosy-lab/software/svlibchecker
+repository_url: https://gitlab.com/sosy-lab/software/svlibchecker
+spdx_license_identifier: Apache-2.0
+benchexec_toolinfo_module: benchexec.tools.svlibchecker
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - dbeyer
+  - Marianl
+
+maintainers:
+  - orcid: 0000-0003-4832-7662
+    name: Dirk Beyer
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/dbeyer/
+  - 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: "0.0.0-dev-3784b423"
+    doi: 10.5281/zenodo.18436449
+    benchexec_toolinfo_options: ["--config", "predicateAnalysisCegar"]
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    required_ubuntu_packages: []
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+
+competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "0.0.0-dev-3784b423"
+    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/
+    participants:
+      - orcid: 0000-0003-4832-7662
+        name: Dirk Beyer
+      - orcid: 0000-0002-8172-3184
+        name: Marian Lingsch-Rosenfeld
+
+techniques:
+  - CEGAR
+  - Predicate Abstraction
+  - Symbolic Execution
+  - Bounded Model Checking
+  - k-Induction
+  - Explicit-Value Analysis
+  - ARG-Based Analysis
+  - Lazy Abstraction
+  - Interpolation
+  - Automata-Based Analysis
+
+frameworks_solvers:
+  - PySMT
+  - MathSAT
+  - Z3
+
+used_actors: []
+
+literature:
+  - doi: 10.48550/arXiv.2511.21509
+    title: "SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks"
+    year: 2025

fm_weck/resources/fm_tools/swat.yml

@@ -1,5 +1,10 @@
 id: swat
 name: SWAT
+description: |
+  SWAT (Symbolic Web Application Testing) is an advanced tool for analyzing Java web applications for security vulnerabilities and errors, based on concolic execution. 
+  It employs dynamic symbolic execution to precisely identify weaknesses. 
+  The modular system utilizes JavaSMT for formula creation and strategically coordinates tests with Z3 as the symbolic solver. 
+  Ideal for developers who want to test their web applications securely and efficiently.
 input_languages:
   - Java
 project_url: https://www.its.uni-luebeck.de/en/research/tools/swat/
@@ -34,8 +39,33 @@ versions:
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17748741
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - openjdk-17-jdk-headless
 
+    base_container_images:
+      - docker.io/ubuntu:24.04
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0009-0003-6243-1623
+      name: Nils Loose
+      institution: University of Luebeck
+      country: Germany
+      url: https://bio.nils-loose.com
+    participants:
+      - orcid: 0009-0003-6243-1623
+        name: Nils Loose
+      - orcid: 0000-0002-1501-0936
+        name: Florian Sieck
+      - orcid: 0009-0009-2431-0322
+        name: Felix Maechtle
+      - orcid: 0000-0003-1116-6973
+        name: Thomas Eisenbarth
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/symbiotic-witch.yml

@@ -22,29 +22,54 @@ maintainers:
     url:
 
 versions:
-  - version: "svcomp25"
+  - version: "svcomp26"
+    doi: "10.5281/zenodo.18462288"
     benchexec_toolinfo_options: ["--witness-check", "${witness}"]
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - python3
       - python3-lxml
       - llvm-14
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
+  - version: "svcomp25"
     doi: "10.5281/zenodo.14207464"
+    benchexec_toolinfo_options: ["--witness-check", "${witness}"]
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+      - llvm-14
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp24"
+    doi: "10.5281/zenodo.10211062"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - python3
       - python3-lxml
-    doi: "10.5281/zenodo.10211062"
   - version: "svcomp23"
+    doi: "10.5281/zenodo.7630406"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - python3
       - python3-lxml
-    doi: "10.5281/zenodo.7630406"
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v1"
+    tool_version: "svcomp26"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
+    label:
+      - inactive
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp25"
     jury_member:
       orcid: 0000-0003-1072-8137
@@ -53,7 +78,7 @@ competition_participations:
       country: Czechia
       url:
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp24"
     jury_member:
       orcid: 0000-0003-1072-8137
@@ -62,7 +87,7 @@ competition_participations:
       country: Czechia
       url:
   - competition: "SV-COMP 2023"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp23"
     jury_member:
       orcid: 0000-0003-1072-8137

fm_weck/resources/fm_tools/symbiotic.yml

@@ -3,7 +3,7 @@ name: Symbiotic
 description: |
   Symbiotic is a configurable framework for program analysis and verification
   combining static analyses, program slicing, and several tools as
-  verification engines, in particular (a fork of) Klee and Slowbeast. 
+  verification engines, in particular (a fork of) Klee and Slowbeast.
 input_languages:
   - C
 project_url: https://github.com/staticafi/symbiotic
@@ -22,6 +22,29 @@ maintainers:
     url: "https://www.fi.muni.cz/~xjonas/"
 
 versions:
+  - version: "svcomp26"
+    doi: "10.5281/zenodo.17698724"
+    benchexec_toolinfo_options: ['--sv-comp']
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+      - python3-clang
+      - python3-yaml
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: "testcomp26"
+    doi: "10.5281/zenodo.17698724"
+    benchexec_toolinfo_options: ['--test-comp']
+    required_ubuntu_packages:
+      - python3
+      - python3-lxml
+      - python3-clang
+      - python3-yaml
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "svcomp25"
     doi: "10.5281/zenodo.14230101"
     benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
@@ -62,6 +85,46 @@ versions:
       - python3-lxml
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0003-4703-0795
+      name: Martin Jonáš
+      institution: Masaryk University, Brno
+      country: Czechia
+      url: "https://www.fi.muni.cz/~xjonas/"
+    participants:
+      - name: Paulína Ayaziová
+        orcid: 0000-0003-1072-8137
+      - name: Martin Jonáš
+        orcid: 0000-0003-4703-0795
+      - name: Vincent Mihalkovič
+        orcid: 0009-0009-5684-8434
+      - name: Jindřich Sedláček
+        orcid: 0009-0007-5356-3690
+      - name: Jan Strejček
+        orcid: 0000-0001-5873-403X
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0000-0003-4703-0795
+      name: Martin Jonáš
+      institution: Masaryk University, Brno
+      country: Czechia
+      url: "https://www.fi.muni.cz/~xjonas/"
+    participants:
+      - name: Paulína Ayaziová
+        orcid: 0000-0003-1072-8137
+      - name: Martin Jonáš
+        orcid: 0000-0003-4703-0795
+      - name: Vincent Mihalkovič
+        orcid: 0009-0009-5684-8434
+      - name: Jindřich Sedláček
+        orcid: 0009-0007-5356-3690
+      - name: Jan Strejček
+        orcid: 0000-0001-5873-403X
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/testcoca.yml

@@ -0,0 +1,53 @@
+id: testcoca
+name: TestCoCa
+input_languages:
+  - C
+project_url: https://github.com/staticafi/TestCoCa
+repository_url: https://github.com/staticafi/TestCoCa
+spdx_license_identifier: Zlib
+benchexec_toolinfo_module: benchexec.tools.testcoca
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - ergangmartin
+
+maintainers:
+  - orcid: 0009-0009-6122-9574
+    name: Marek Trtík
+    institution: Masaryk University, Brno
+    country: Czechia
+    url:
+
+versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17819536
+    benchexec_toolinfo_options: ['--test_suite', '${witness}', "--max_exec_megabytes", "512", "--max_exec_milliseconds", "600000", "--testcomp", "--format"]
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    required_ubuntu_packages:
+      - g++-multilib
+      - clang
+      - llvm
+      - clang-tidy
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+
+competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Validation of Test Suites Clang Formatted"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0009-6122-9574
+      name: Marek Trtík
+      institution: Masaryk University, Brno
+      country: Czechia
+      url:
+    participants:
+      - orcid: 0009-0009-2505-2716
+        name: Martin Ergang
+      - orcid: 0009-0009-6122-9574
+        name: Marek Trtík
+
+techniques: []
+frameworks_solvers: []
+literature: []

fm_weck/resources/fm_tools/testcov.yml

@@ -24,6 +24,55 @@ maintainers:
     country: Germany
     url: https://www.sosy-lab.org/people/lemberger/
 versions:
+  - version: "testcomp26-clang-formatted"
+    doi: 10.5281/zenodo.17698774
+    benchexec_toolinfo_options: ['--test-suite', '${witness}', '--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--disable-info-files', '--compiler', 'clang', '--cov-tool', 'llvm-cov', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    required_ubuntu_packages:
+      - clang
+      - clang-format
+      - clang-tidy
+      - llvm
+      - lcov
+      - gcc
+      - gcc-multilib
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+  - version: "testcomp26-clang-unformatted"
+    doi: 10.5281/zenodo.17698774
+    benchexec_toolinfo_options: ['--test-suite', '${witness}', '--memlimit', '6GB', '--timelimit-per-run', '50', '--verbose', '--no-plots', '--prep-cgroup', '--disable-info-files', '--compiler', 'clang', '--cov-tool', 'llvm-cov', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
+    required_ubuntu_packages:
+      - clang
+      - clang-format
+      - clang-tidy
+      - llvm
+      - lcov
+      - gcc
+      - gcc-multilib
+  - version: "testcomp26-gcc-formatted"
+    doi: 10.5281/zenodo.17698774
+    benchexec_toolinfo_options: ['--test-suite', '${witness}', '--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--disable-info-files', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
+    required_ubuntu_packages:
+      - clang
+      - clang-format
+      - clang-tidy
+      - llvm
+      - lcov
+      - gcc
+      - gcc-multilib
+  - version: "testcomp26-gcc-unformatted"
+    doi: 10.5281/zenodo.17698774
+    benchexec_toolinfo_options: ['--test-suite', '${witness}', '--memlimit', '6GB', '--timelimit-per-run', '50', '--verbose', '--no-plots', '--prep-cgroup', '--disable-info-files', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
+    required_ubuntu_packages:
+      - clang
+      - clang-format
+      - clang-tidy
+      - llvm
+      - lcov
+      - gcc
+      - gcc-multilib
   - version: "testcomp25-clang-formatted"
     doi: 10.5281/zenodo.14544775
     benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--disable-info-files', '--compiler', 'clang', '--cov-tool', 'llvm-cov', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
@@ -75,6 +124,54 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Validation of Test Suites Clang Formatted"
+    tool_version: "testcomp26-clang-formatted"
+    jury_member:
+      orcid: 0000-0001-7365-5030
+      name: Matthias Kettl
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/kettl/
+    participants:
+      - orcid: 0000-0001-7365-5030
+        name: Matthias Kettl
+  - competition: "Test-Comp 2026"
+    track: "Validation of Test Suites Clang Unformatted"
+    tool_version: "testcomp26-clang-unformatted"
+    jury_member:
+      orcid: 0000-0001-7365-5030
+      name: Matthias Kettl
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/kettl/
+    participants:
+      - orcid: 0000-0001-7365-5030
+        name: Matthias Kettl
+  - competition: "Test-Comp 2026"
+    track: "Validation of Test Suites GCC Formatted"
+    tool_version: "testcomp26-gcc-formatted"
+    jury_member:
+      orcid: 0000-0001-7365-5030
+      name: Matthias Kettl
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/kettl/
+    participants:
+      - orcid: 0000-0001-7365-5030
+        name: Matthias Kettl
+  - competition: "Test-Comp 2026"
+    track: "Validation of Test Suites GCC Unformatted"
+    tool_version: "testcomp26-gcc-unformatted"
+    jury_member:
+      orcid: 0000-0001-7365-5030
+      name: Matthias Kettl
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/kettl/
+    participants:
+      - orcid: 0000-0001-7365-5030
+        name: Matthias Kettl
   - competition: "Test-Comp 2025"
     track: "Validation of Test Suites Clang Formatted"
     tool_version: "testcomp25-clang-formatted"