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

fm_weck/resources/fm_tools/liv.yml

@@ -1,3 +1,4 @@
+id: liv
 name: LIV
 input_languages:
   - C
@@ -20,9 +21,16 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14168986"
-    benchexec_toolinfo_options: ['--verifier', 'actors/cbmc.yml', '--verifierversion', 'default', '--cache-dir', 'lib/cvt_cache', '--no-cache-update', '--all-possible-invariant-locations', '--fuzzy-invariant-locations', '1', "--non-strict"]
-    required_ubuntu_packages: []
+    doi: "10.5281/zenodo.14210280"
+    benchexec_toolinfo_options: ['--verifier', 'actors/cbmc.yml', '--verifierversion', 'default', '--cache-dir', 'lib/cvt_cache', '--no-cache-update', '--all-possible-invariant-locations', '--fuzzy-invariant-locations', '1', "--non-strict", '--prep-cgroup', '--debug']
+    required_ubuntu_packages:
+      - python3-requests
+      - python3-pycparser
+      - python3-lxml
+      - python3-yaml
+      - python3-graphviz
+      - python3-tqdm
+      - python3-docker
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202756"
     benchexec_toolinfo_options: ['--verifier', 'actors/cbmc.yml', '--verifierversion', 'default', '--cache-dir', 'lib/cvt_cache', '--no-cache-update', '--all-possible-invariant-locations', '--fuzzy-invariant-locations', '1', "--non-strict"]

fm_weck/resources/fm_tools/locksmith.yml

@@ -1,3 +1,4 @@
+id: locksmith
 name: Locksmith
 input_languages:
   - C

fm_weck/resources/fm_tools/metaval++.yml

@@ -1,3 +1,4 @@
+id: metaval++
 name: MetaVal++
 input_languages:
   - C

fm_weck/resources/fm_tools/metaval.yml

@@ -1,3 +1,4 @@
+id: metaval
 name: MetaVal
 input_languages:
   - C

fm_weck/resources/fm_tools/mlb.yml

@@ -1,3 +1,4 @@
+id: mlb
 name: MLB
 input_languages:
   - Java
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.10419554"
+    doi: "10.5281/zenodo.14202342"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-8-jre-headless

fm_weck/resources/fm_tools/mopsa.yml

@@ -1,3 +1,4 @@
+id: mopsa
 name: Mopsa
 input_languages:
   - C
@@ -20,7 +21,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14194736
+    doi: 10.5281/zenodo.14208644
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang
@@ -33,7 +34,7 @@ versions:
       - llvm-dev
       - libflint-dev
   - version: "svcomp25-validation-correctness"
-    doi: 10.5281/zenodo.14194736
+    doi: 10.5281/zenodo.14208644
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang

fm_weck/resources/fm_tools/nacpa.yml

@@ -1,3 +1,4 @@
+id: nacpa
 name: nacpa
 input_languages:
   - C
@@ -23,8 +24,8 @@ maintainers:
     url: https://www.sosy-lab.org/people/wachowitz/
 
 versions:
-  - version: "svcomp25"
-    doi: "10.5281/zenodo.14192312"
+  - version: "1.0.0"
+    doi: "10.5281/zenodo.14203473"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
     full_container_images:
@@ -33,7 +34,7 @@ versions:
 competition_participations:
   - competition: SV-COMP 2025
     track: "Verification"
-    tool_version: "svcomp25"
+    tool_version: "1.0.0"
     jury_member:
       orcid: 0000-0002-4768-4054
       name: Henrik Wachowitz

fm_weck/resources/fm_tools/nitwit.yml

@@ -1,3 +1,4 @@
+id: nitwit
 name: NITWIT
 input_languages:
   - C

fm_weck/resources/fm_tools/owic.yml

@@ -1,3 +1,4 @@
+id: owic
 name: Owi
 input_languages:
   - C

fm_weck/resources/fm_tools/pesco.yml

@@ -1,3 +1,4 @@
+id: pesco
 name: PeSCo-CPA
 input_languages:
   - C

fm_weck/resources/fm_tools/pichecker.yml

@@ -1,3 +1,4 @@
+id: pichecker
 name: PIChecker
 input_languages:
   - C

fm_weck/resources/fm_tools/pinaka.yml

@@ -1,3 +1,4 @@
+id: pinaka
 name: Pinaka
 input_languages:
   - C

fm_weck/resources/fm_tools/predatorhp.yml

@@ -1,3 +1,4 @@
+id: predatorhp
 name: PredatorHP
 input_languages:
   - C

fm_weck/resources/fm_tools/proton.yml

@@ -1,3 +1,4 @@
+id: proton
 name: PROTON
 input_languages:
   - C
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.13953734
+    doi: 10.5281/zenodo.14209458
     benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
     required_ubuntu_packages:
       - gcc

fm_weck/resources/fm_tools/prtest.yml

@@ -1,3 +1,4 @@
+id: prtest
 name: PRTest
 input_languages:
   - C

fm_weck/resources/fm_tools/racerf.yml

@@ -1,48 +1,49 @@
-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: []
+id: racerf
+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.14197636
+    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

@@ -1,3 +1,4 @@
+id: relay-sv
 name: RELAY-SV
 input_languages:
   - C

fm_weck/resources/fm_tools/rizzer.yml

@@ -1,3 +1,4 @@
+id: rizzer
 name: Rizzer
 input_languages:
   - C

fm_weck/resources/fm_tools/schema.yml

@@ -3,9 +3,12 @@ title: FM Tools Data Schema
 description: The schema for fm-tools/data
 type: object
 properties:
+  id:
+    type: string
+    description: The identifier of the tool (equal to the file name without file-name extension).
   name:
     type: string
-    description: The name of the competition tool.
+    description: The name of the tool.
   description:
     type: string
     description: A description of the tool.
@@ -559,6 +562,7 @@ properties:
         - body
     description: Custom licenses used by the tool (applicable if no matching SPDX identifier exists).
 required:
+  - id
   - name
   - input_languages
   - project_url

fm_weck/resources/fm_tools/sikraken.yml

@@ -1,3 +1,4 @@
+id: sikraken
 name: Sikraken
 input_languages:
   - C

fm_weck/resources/fm_tools/spf.yml

@@ -1,3 +1,4 @@
+id: spf
 name: SPF
 input_languages:
   - Java

fm_weck/resources/fm_tools/sv-sanitizers.yml

@@ -1,3 +1,4 @@
+id: sv-sanitizers
 name: sv-sanitizers
 input_languages:
   - C

fm_weck/resources/fm_tools/svf-svc.yml

@@ -1,3 +1,4 @@
+id: svf-svc
 name: SVF-SVC
 input_languages:
   - C
@@ -23,8 +24,8 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14194879
-    benchexec_toolinfo_options: []
+    doi: 10.5281/zenodo.14208597
+    benchexec_toolinfo_options: ["--witness", "witness.graphml"]
     required_ubuntu_packages: ["python3-yaml"]
 
 competition_participations:

fm_weck/resources/fm_tools/swat.yml

@@ -1,3 +1,4 @@
+id: swat
 name: SWAT
 input_languages:
   - Java
@@ -28,17 +29,22 @@ versions:
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14214662
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - openjdk-17-jdk-headless
 
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    hors-concours: true
-    tool_version: "svcomp24"
+    tool_version: "svcomp25"
     jury_member:
-      name: Hors Concours
-      institution: --
-      country: --
-      url: null
+      orcid: 0009-0003-6243-1623
+      name: Nils Loose
+      institution: University of Luebeck
+      country: Germany
+      url:
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/symbiotic-witch.yml

@@ -1,3 +1,4 @@
+id: symbiotic-witch
 name: Symbiotic-Witch
 input_languages:
   - C
@@ -23,7 +24,7 @@ versions:
       - python3
       - python3-lxml
       - llvm-14
-    doi: "10.5281/zenodo.14170955"
+    doi: "10.5281/zenodo.14207464"
   - version: "svcomp24"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:

fm_weck/resources/fm_tools/symbiotic.yml

@@ -1,3 +1,4 @@
+id: symbiotic
 name: Symbiotic
 input_languages:
   - C
@@ -18,14 +19,14 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14183154"
+    doi: "10.5281/zenodo.14204995"
     benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
     required_ubuntu_packages:
       - python3
       - python3-lxml
       - python3-clang
   - version: "testcomp25"
-    doi: "10.5281/zenodo.14183154"
+    doi: "10.5281/zenodo.14204995"
     benchexec_toolinfo_options: ['--test-comp']
     required_ubuntu_packages:
       - python3

fm_weck/resources/fm_tools/testcov.yml

@@ -1,3 +1,4 @@
+id: testcov
 name: TestCov
 input_languages:
   - C

fm_weck/resources/fm_tools/theta.yml

@@ -1,3 +1,4 @@
+id: theta
 name: Theta
 input_languages:
   - C

fm_weck/resources/fm_tools/thorn.yml

@@ -1,3 +1,4 @@
+id: thorn
 name: Thorn
 input_languages:
   - C

fm_weck/resources/fm_tools/tracerx-wp.yml

@@ -1,3 +1,4 @@
+id: tracerx-wp
 name: TracerX-WP
 input_languages:
   - C

fm_weck/resources/fm_tools/tracerx.yml

@@ -1,3 +1,4 @@
+id: tracerx
 name: TracerX
 input_languages:
   - C

fm_weck/resources/fm_tools/uautomizer.yml

@@ -1,3 +1,4 @@
+id: uautomizer
 name: UAutomizer
 description: |
   Ultimate Automizer is a software model checker that
@@ -41,18 +42,18 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14185457
+    doi: 10.5281/zenodo.14209043
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless
   - version: svcomp25-correctness
-    doi: 10.5281/zenodo.14185457
+    doi: 10.5281/zenodo.14209043
     benchexec_toolinfo_options:
       [--full-output, --witness-type, correctness_witness]
     required_ubuntu_packages:
       - openjdk-21-jre-headless
   - version: svcomp25-violation
-    doi: 10.5281/zenodo.14185457
+    doi: 10.5281/zenodo.14209043
     benchexec_toolinfo_options:
       [--full-output, --witness-type, violation_witness]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -1,3 +1,4 @@
+id: ugemcutter
 name: UGemCutter
 input_languages:
   - C
@@ -32,7 +33,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14185473
+    doi: 10.5281/zenodo.14209054
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/ukojak.yml

@@ -1,3 +1,4 @@
+id: ukojak
 name: UKojak
 input_languages:
   - C
@@ -38,7 +39,7 @@ maintainers:
 
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14185465
+    doi: 10.5281/zenodo.14209044
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/ureferee.yml

@@ -1,3 +1,4 @@
+id: ureferee
 name: UReferee
 description: |
   Ultimate Referee is a correctness witness validator.
@@ -34,7 +35,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25-correctness
-    doi: 10.5281/zenodo.14185478
+    doi: 10.5281/zenodo.14209067
     benchexec_toolinfo_options:
       [--full-output, --witness-type, correctness_witness]
     required_ubuntu_packages:

fm_weck/resources/fm_tools/utaipan.yml

@@ -1,3 +1,4 @@
+id: utaipan
 name: UTaipan
 input_languages:
   - C
@@ -32,7 +33,7 @@ maintainers:
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
   - version: svcomp25
-    doi: 10.5281/zenodo.14185470
+    doi: 10.5281/zenodo.14209053
     benchexec_toolinfo_options: [--full-output]
     required_ubuntu_packages:
       - openjdk-21-jre-headless

fm_weck/resources/fm_tools/utestgen.yml

@@ -1,3 +1,4 @@
+id: utestgen
 name: UTestGen
 input_languages:
   - C

fm_weck/resources/fm_tools/veriabs.yml

@@ -1,3 +1,4 @@
+id: veriabs
 name: VeriAbs
 input_languages:
   - C

fm_weck/resources/fm_tools/veriabsl.yml

@@ -1,3 +1,4 @@
+id: veriabsl
 name: VeriAbsL
 input_languages:
   - C

fm_weck/resources/fm_tools/verifuzz.yml

@@ -1,3 +1,4 @@
+id: verifuzz
 name: VeriFuzz
 input_languages:
   - C

fm_weck/resources/fm_tools/verioover.yml

@@ -1,3 +1,4 @@
+id: verioover
 name: VeriOover
 input_languages:
   - C

fm_weck/resources/fm_tools/wasp-c.yml

@@ -1,3 +1,4 @@
+id: wasp-c
 name: WASP-C
 input_languages:
   - C

fm_weck/resources/fm_tools/wit4java.yml

@@ -1,3 +1,4 @@
+id: wit4java
 name: WIT4JAVA
 input_languages:
   - Java

fm_weck/resources/fm_tools/witch.yml

@@ -1,3 +1,4 @@
+id: witch
 name: Witch
 input_languages:
   - C
@@ -22,7 +23,7 @@ versions:
     required_ubuntu_packages:
       - python3
       - llvm-14
-    doi: "10.5281/zenodo.14161544"
+    doi: "10.5281/zenodo.14207188"
   - version: "svcomp24"
     benchexec_toolinfo_options: ['--sv-comp']
     required_ubuntu_packages:

fm_weck/resources/fm_tools/witnesslint.yml

@@ -1,3 +1,4 @@
+id: witnesslint
 name: WitnessLint
 input_languages:
   - C

fm_weck/resources/fm_tools/witnessmap.yml

@@ -1,3 +1,4 @@
+id: witnessmap
 name: WitnessMap
 input_languages:
   - C
@@ -21,9 +22,10 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14197484
+    doi: 10.5281/zenodo.14205153
     benchexec_toolinfo_options: [ ]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - python3-yaml
 
 competition_participations:
   - competition: "SV-COMP 2025"

fm_weck/runexec_mode.py

@@ -50,4 +50,4 @@ def run_runexec(
 
     configuration.make_runexec_script_available()
 
-    engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/runexec", *command)
+    return engine.run(f"{CACHE_MOUNT_LOCATION}/.scripts/runexec", *command)