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

fm_weck/resources/fm_tools/ukojak.yml

@@ -10,23 +10,38 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0009-0003-4794-958X
+    name: Manuel Bentele
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/bentele
+  - 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.14110299
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203546
     benchexec_toolinfo_options: [--full-output]
@@ -39,11 +54,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0009-0003-4794-958X
+      name: Manuel Bentele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/bentele
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
     jury_member:
-      name: "Frank Schüssele"
+      name: Frank Schüssele
       institution: University of Freiburg
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -51,7 +75,7 @@ competition_participations:
     track: Verification
     tool_version: svcomp23
     jury_member:
-      name: "Frank Schüssele"
+      name: Frank Schüssele
       institution: University of Freiburg
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -67,3 +91,8 @@ frameworks_solvers:
   - Ultimate
   - SMTinterpol
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-662-46681-0_44
+    title: ULTIMATE KOJAK with Memory Safety Checks (Competition Contribution)
+    year: 2015

fm_weck/resources/fm_tools/ureferee.yml

@@ -0,0 +1,82 @@
+name: UReferee
+description: |
+  Ultimate Referee is a correctness witness validator.
+input_languages:
+  - C
+project_url: https://ultimate-pa.org
+repository_url: https://github.com/ultimate-pa/ultimate
+spdx_license_identifier: LGPL-3.0-or-later
+benchexec_toolinfo_module: ultimatereferee.py
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - danieldietsch
+
+maintainers:
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/heizmann
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+  - 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-correctness
+    doi: 10.5281/zenodo.14110344
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+
+competition_participations:
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 1.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0000-0002-5656-306X
+      name: Frank Schüssele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 2.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0000-0002-5656-306X
+      name: Frank Schüssele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+
+techniques:
+  - CEGAR
+  - Predicate Abstraction
+  - Bit-Precise Analysis
+  - Lazy Abstraction
+  - Interpolation
+  - Automata-Based Analysis
+  - Concurrency Support
+  - Ranking Functions
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers:
+  - Ultimate
+  - MathSAT
+  - CVC
+  - SMTinterpol
+  - Z3
+
+literature: []

fm_weck/resources/fm_tools/utaipan.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.14110314
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203547
     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-0002-8947-5373
+      name: Daniel Dietsch
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/dietsch
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -75,3 +93,14 @@ frameworks_solvers:
   - CVC
   - SMTinterpol
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-031-30820-8_40
+    title: Ultimate Taipan and Race Detection in Ultimate (Competition Contribution)
+    year: 2023
+  - doi: 10.1007/978-3-030-45237-7_32
+    title: Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)
+    year: 2020
+  - doi: 10.1007/978-3-319-66706-5_7
+    title: Loop invariants from counterexamples
+    year: 2017

fm_weck/resources/fm_tools/utestgen.yml

@@ -11,11 +11,17 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Max Barth
+    orcid: 0009-0002-7716-3898
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/barth/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.13951704
+    benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--rcfgbuilder.reuse.mode.for.test.generation', 'ReuseUNSATmatchPrefix','--full-output']
+    required_ubuntu_packages:
+      - openjdk-11-jre-headless
   - version: "testcomp24"
     doi: 10.5281/zenodo.10071568
     benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--full-output']
@@ -23,10 +29,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0009-0002-7716-3898
+      name: Max Barth
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/barth/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
     jury_member:
+      orcid: 0009-0002-7716-3898
       name: Max Barth
       institution: LMU Munich
       country: Germany
@@ -40,3 +56,14 @@ techniques:
 
 frameworks_solvers:
   - Ultimate
+
+literature:
+  - doi: 10.1007/978-3-031-66149-5_14
+    title: "Test-Case Generation with Automata-Based Software Model Checking"
+    year: 2024
+  - doi: 10.1007/978-3-031-72044-4_3
+    title: "Refining CEGAR-Based Test-Case Generation with Feasibility Annotations"
+    year: 2024
+  - doi: 10.1007/978-3-031-57259-3_20
+    title: "Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution)"
+    year: 2024   

fm_weck/resources/fm_tools/veriabs.yml

@@ -10,13 +10,24 @@ fmtools_entry_maintainers:
   - priyankadarke
 
 maintainers:
-  - name: Priyanka Darke
+  - orcid: 0000-0001-6104-9033
+    name: Priyanka Darke
     institution: Tata Consultancy Services
     country: India
     url: https://www.tcs.com
     
 
 versions:
+  - version: "1.6.2"
+    doi: 10.5281/zenodo.14030466
+    benchexec_toolinfo_options: ['--veriabs']
+    required_ubuntu_packages:
+      - libc6-dev-i386
+      - openjdk-11-jre-headless
+      - openjdk-17-jre-headless
+      - clang-12
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp24"
     doi: 10.5281/zenodo.10243500
     benchexec_toolinfo_options: ['--sv22']
@@ -32,10 +43,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "1.6.2"
+    jury_member:
+      orcid: 0000-0001-6104-9033
+      name: Priyanka Darke
+      institution: Tata Consultancy Services
+      country: India
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -44,6 +65,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -64,3 +86,8 @@ frameworks_solvers:
   - CProver
   - Z3
   - MiniSAT
+
+literature:
+  - doi: 10.1007/978-3-030-72013-1_32
+    title: "VeriAbs: A Tool for Scalable Verification by Abstraction"
+    year: 2021

fm_weck/resources/fm_tools/veriabsl.yml

@@ -10,19 +10,44 @@ fmtools_entry_maintainers:
   - priyankadarke
 
 maintainers:
-  - name: Priyanka Darke
+  - orcid: 0000-0001-6104-9033
+    name: Priyanka Darke
     institution: Tata Consultancy Services
     country: India
     url: https://www.tcs.com
 
 versions:
+  - version: "1.6.2"
+    doi: 10.5281/zenodo.14030454
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - libc6-dev-i386
+      - openjdk-11-jre-headless
+      - openjdk-17-jre-headless
+      - python3-absl
+      - python3-astunparse
+      - python3-flatbuffers
+      - python3-gast
+      - python3-h5py
+      - python3-packaging
+      - python3-termcolor
+      - python3-wrapt
+      - python3-typing-extensions
+      - python3-pandas
+      - python3-sklearn
+      - python3-certifi
+      - python3-idna
+      - python3-requests
+      - python3-urllib3
+      - clang-12
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp24"
     doi: 10.5281/zenodo.10244458
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
-      - python3-pip
       - python3-absl
       - python3-astunparse
       - python3-flatbuffers
@@ -45,7 +70,6 @@ versions:
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
-      - python3-pip
       - python3-absl
       - python3-astunparse
       - python3-flatbuffers
@@ -63,10 +87,20 @@ versions:
       - python3-urllib3
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "1.6.2"
+    jury_member:
+      orcid: 0000-0001-6104-9033
+      name: Priyanka Darke
+      institution: Tata Consultancy Services
+      country: India
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -75,6 +109,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -95,3 +130,8 @@ frameworks_solvers:
   - CProver
   - Z3
   - MiniSAT
+
+literature:
+  - doi: 10.1007/978-3-031-30820-8_41
+    title: "VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction"
+    year: 2023

fm_weck/resources/fm_tools/verifuzz.yml

@@ -27,6 +27,8 @@ versions:
       - python2
       - python3-sklearn
       - python3-pandas
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
   - competition: "SV-COMP 2023"

fm_weck/resources/fm_tools/verioover.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

fm_weck/resources/fm_tools/wasp-c.yml

@@ -24,10 +24,22 @@ versions:
       - make
       - python3
       - python3-lxml
+    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: "testcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/wit4java.yml

@@ -21,10 +21,22 @@ versions:
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - python3-networkx
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/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,12 @@ maintainers:
     url: null
 
 versions:
+  - version: "svcomp25"
+    benchexec_toolinfo_options: ['--sv-comp']
+    required_ubuntu_packages:
+      - python3
+      - llvm-14
+    doi: "10.5281/zenodo.14161544"
   - version: "svcomp24"
     benchexec_toolinfo_options: ['--sv-comp']
     required_ubuntu_packages:
@@ -24,6 +30,15 @@ versions:
     doi: "10.5281/zenodo.10064512"
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 2.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 2.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/witnesslint.yml

@@ -9,15 +9,49 @@ benchexec_toolinfo_module: benchexec.tools.witnesslint
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - dbeyer
-  - masp
+  - Marianl
+  - PhilippWendler
 
 maintainers:
   - 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: "svcomp25-correctness-graphml"
+    doi: 10.5281/zenodo.13988752
+    benchexec_toolinfo_options: ["--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
+    required_ubuntu_packages:
+      - python3-lxml
+      - python3-jsonschema
+      - python3-yaml
+      - python3-pycparser
+  - version: "svcomp25-violation-graphml"
+    doi: 10.5281/zenodo.13988752
+    benchexec_toolinfo_options: ["--expectViolationWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
+    required_ubuntu_packages:
+      - python3-lxml
+      - python3-jsonschema
+      - python3-yaml
+      - python3-pycparser
+  - version: "svcomp25-correctness-yaml"
+    doi: 10.5281/zenodo.13988752
+    benchexec_toolinfo_options: ["--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "2.0"]
+    required_ubuntu_packages:
+      - python3-lxml
+      - python3-jsonschema
+      - python3-yaml
+      - python3-pycparser
+  - version: "svcomp25-violation-yaml"
+    doi: 10.5281/zenodo.13988752
+    benchexec_toolinfo_options: ["--expectViolationWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "2.0"]
+    required_ubuntu_packages:
+      - python3-lxml
+      - python3-jsonschema
+      - python3-yaml
+      - python3-pycparser
   - version: "svcomp24-correctness-graphml"
     doi: 10.5281/zenodo.10213801
     benchexec_toolinfo_options: ["--expectCorrectnessWitness", "--ignoreSelfLoops", "--expectedWitnessVersion", "1.0"]
@@ -52,10 +86,47 @@ versions:
       - python3-pycparser
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 1.0"
+    tool_version: "svcomp25-correctness-graphml"
+    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/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 2.0"
+    tool_version: "svcomp25-correctness-yaml"
+    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/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "svcomp25-violation-graphml"
+    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/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 2.0"
+    tool_version: "svcomp25-violation-yaml"
+    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/
   - competition: "SV-COMP 2024"
     track: "Validation of Correctness Witnesses 1.0"
     tool_version: "svcomp24-correctness-graphml"
     jury_member:
+      orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
       institution: LMU Munich
       country: Germany
@@ -64,6 +135,7 @@ competition_participations:
     track: "Validation of Correctness Witnesses 2.0"
     tool_version: "svcomp24-correctness-yaml"
     jury_member:
+      orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
       institution: LMU Munich
       country: Germany
@@ -72,6 +144,7 @@ competition_participations:
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "svcomp24-violation-graphml"
     jury_member:
+      orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
       institution: LMU Munich
       country: Germany
@@ -80,6 +153,7 @@ competition_participations:
     track: "Validation of Violation Witnesses 2.0"
     tool_version: "svcomp24-violation-yaml"
     jury_member:
+      orcid: 0000-0002-8172-3184
       name: Marian Lingsch-Rosenfeld
       institution: LMU Munich
       country: Germany
@@ -88,3 +162,7 @@ competition_participations:
 techniques: []
 
 frameworks_solvers: []
+
+used_actors: []
+
+literature: []

fm_weck/runexec_mode.py

@@ -41,8 +41,8 @@ def run_runexec(
         shutil.copyfile(BENCHEXEC_WHL, benchexec_package)
         engine.env["PYTHONPATH"] = f"{CACHE_MOUNT_LOCATION}/.lib/benchexec.whl"
 
-    for path in mountable_absolute_paths_of_command(command):
-        engine.mount(path, path)
+    for path in mountable_absolute_paths_of_command(Path.cwd().absolute(), command):
+        engine.mount(path, str(path) + ":ro")
 
     for arg in extra_container_args:
         engine.add_container_long_opt(arg)