fm-weck 1.4.3__py3-none-any.whl → 1.4.5__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (66) hide show
  1. fm_weck/__init__.py +1 -1
  2. fm_weck/cli.py +1 -1
  3. fm_weck/engine.py +2 -2
  4. fm_weck/resources/fm_tools/cbmc.yml +2 -2
  5. fm_weck/resources/fm_tools/cetfuzz.yml +1 -1
  6. fm_weck/resources/fm_tools/coastal.yml +3 -3
  7. fm_weck/resources/fm_tools/cooperace.yml +1 -1
  8. fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml +3 -3
  9. fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml +3 -3
  10. fm_weck/resources/fm_tools/cpa-bam-bnb.yml +3 -3
  11. fm_weck/resources/fm_tools/cpa-bam-smg.yml +3 -3
  12. fm_weck/resources/fm_tools/cpa-lockator.yml +3 -3
  13. fm_weck/resources/fm_tools/cpa-witness2test.yml +1 -1
  14. fm_weck/resources/fm_tools/cpachecker.yml +3 -0
  15. fm_weck/resources/fm_tools/crux.yml +3 -3
  16. fm_weck/resources/fm_tools/cseq.yml +3 -3
  17. fm_weck/resources/fm_tools/divine.yml +3 -3
  18. fm_weck/resources/fm_tools/ebf.yml +1 -1
  19. fm_weck/resources/fm_tools/esbmc-incr.yml +2 -2
  20. fm_weck/resources/fm_tools/esbmc-kind.yml +1 -1
  21. fm_weck/resources/fm_tools/fdse.yml +1 -1
  22. fm_weck/resources/fm_tools/fizzer.yml +1 -1
  23. fm_weck/resources/fm_tools/frama-c-sv.yml +1 -1
  24. fm_weck/resources/fm_tools/fshell-witness2test.yml +2 -2
  25. fm_weck/resources/fm_tools/fusebmc-ia.yml +1 -1
  26. fm_weck/resources/fm_tools/gazer-theta.yml +3 -3
  27. fm_weck/resources/fm_tools/gdart-llvm.yml +2 -2
  28. fm_weck/resources/fm_tools/graves-par.yml +3 -3
  29. fm_weck/resources/fm_tools/graves.yml +2 -2
  30. fm_weck/resources/fm_tools/gwit.yml +1 -1
  31. fm_weck/resources/fm_tools/hybridtiger.yml +3 -3
  32. fm_weck/resources/fm_tools/infer.yml +3 -3
  33. fm_weck/resources/fm_tools/java-ranger.yml +1 -1
  34. fm_weck/resources/fm_tools/jayhorn.yml +2 -2
  35. fm_weck/resources/fm_tools/jcwit.yml +1 -1
  36. fm_weck/resources/fm_tools/jdart.yml +3 -3
  37. fm_weck/resources/fm_tools/klee.yml +3 -3
  38. fm_weck/resources/fm_tools/lazycseq.yml +3 -3
  39. fm_weck/resources/fm_tools/legion-symcc.yml +2 -2
  40. fm_weck/resources/fm_tools/legion.yml +3 -3
  41. fm_weck/resources/fm_tools/lf-checker.yml +2 -2
  42. fm_weck/resources/fm_tools/locksmith.yml +2 -2
  43. fm_weck/resources/fm_tools/mlb.yml +1 -1
  44. fm_weck/resources/fm_tools/nitwit.yml +1 -1
  45. fm_weck/resources/fm_tools/owic.yml +1 -1
  46. fm_weck/resources/fm_tools/pesco.yml +2 -2
  47. fm_weck/resources/fm_tools/pichecker.yml +2 -2
  48. fm_weck/resources/fm_tools/pinaka.yml +3 -3
  49. fm_weck/resources/fm_tools/predatorhp.yml +2 -2
  50. fm_weck/resources/fm_tools/prtest.yml +1 -1
  51. fm_weck/resources/fm_tools/relay-sv.yml +1 -1
  52. fm_weck/resources/fm_tools/rizzer.yml +1 -1
  53. fm_weck/resources/fm_tools/schema.yml +4 -0
  54. fm_weck/resources/fm_tools/sikraken.yml +3 -3
  55. fm_weck/resources/fm_tools/spf.yml +3 -3
  56. fm_weck/resources/fm_tools/symbiotic.yml +2 -2
  57. fm_weck/resources/fm_tools/testcov.yml +61 -3
  58. fm_weck/resources/fm_tools/verioover.yml +2 -2
  59. fm_weck/resources/fm_tools/wasp-c.yml +2 -2
  60. fm_weck/resources/fm_tools/wit4java.yml +2 -2
  61. fm_weck/resources/fm_tools/witnessmap.yml +0 -1
  62. fm_weck/serve.py +4 -1
  63. {fm_weck-1.4.3.dist-info → fm_weck-1.4.5.dist-info}/METADATA +1 -1
  64. {fm_weck-1.4.3.dist-info → fm_weck-1.4.5.dist-info}/RECORD +66 -66
  65. {fm_weck-1.4.3.dist-info → fm_weck-1.4.5.dist-info}/WHEEL +0 -0
  66. {fm_weck-1.4.3.dist-info → fm_weck-1.4.5.dist-info}/entry_points.txt +0 -0
fm_weck/resources/fm_tools/klee.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "Test-Comp 2025"
27
27
  track: "Test Generation"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "testcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "Test-Comp 2024"
36
36
  track: "Test Generation"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "testcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
@@ -43,7 +43,7 @@ competition_participations:
43
43
  url: null
44
44
  - competition: "Test-Comp 2023"
45
45
  track: "Test Generation"
46
- hors-concours: true
46
+ hors_concours: true
47
47
  tool_version: "testcomp23"
48
48
  jury_member:
49
49
  name: Hors Concours
fm_weck/resources/fm_tools/lazycseq.yml CHANGED
@@ -28,7 +28,7 @@ versions:
28
28
  competition_participations:
29
29
  - competition: "SV-COMP 2025"
30
30
  track: "Verification"
31
- hors-concours: true
31
+ hors_concours: true
32
32
  tool_version: "svcomp23"
33
33
  jury_member:
34
34
  name: Hors Concours
@@ -37,7 +37,7 @@ competition_participations:
37
37
  url: null
38
38
  - competition: "SV-COMP 2024"
39
39
  track: "Verification"
40
- hors-concours: true
40
+ hors_concours: true
41
41
  tool_version: "svcomp23"
42
42
  jury_member:
43
43
  name: Hors Concours
@@ -46,7 +46,7 @@ competition_participations:
46
46
  url: null
47
47
  - competition: "SV-COMP 2023"
48
48
  track: "Verification"
49
- hors-concours: true
49
+ hors_concours: true
50
50
  tool_version: "svcomp23"
51
51
  jury_member:
52
52
  name: Hors Concours
fm_weck/resources/fm_tools/legion-symcc.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "Test-Comp 2025"
27
27
  track: "Test Generation"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "testcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "Test-Comp 2024"
36
36
  track: "Test Generation"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "testcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
fm_weck/resources/fm_tools/legion.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "Test-Comp 2025"
27
27
  track: "Test Generation"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "testcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "Test-Comp 2024"
36
36
  track: "Test Generation"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "testcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
@@ -43,7 +43,7 @@ competition_participations:
43
43
  url: null
44
44
  - competition: "Test-Comp 2023"
45
45
  track: "Test Generation"
46
- hors-concours: true
46
+ hors_concours: true
47
47
  tool_version: "testcomp23"
48
48
  jury_member:
49
49
  name: Hors Concours
fm_weck/resources/fm_tools/lf-checker.yml CHANGED
@@ -26,7 +26,7 @@ versions:
26
26
  competition_participations:
27
27
  - competition: "SV-COMP 2025"
28
28
  track: "Verification"
29
- hors-concours: true
29
+ hors_concours: true
30
30
  tool_version: "svcomp23"
31
31
  jury_member:
32
32
  name: Hors Concours
@@ -35,7 +35,7 @@ competition_participations:
35
35
  url: null
36
36
  - competition: "SV-COMP 2024"
37
37
  track: "Verification"
38
- hors-concours: true
38
+ hors_concours: true
39
39
  tool_version: "svcomp23"
40
40
  jury_member:
41
41
  name: Hors Concours
fm_weck/resources/fm_tools/locksmith.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "SV-COMP 2025"
27
27
  track: "Verification"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "svcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "SV-COMP 2024"
36
36
  track: "Verification"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "svcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
fm_weck/resources/fm_tools/mlb.yml CHANGED
@@ -19,7 +19,7 @@ maintainers:
19
19
 
20
20
  versions:
21
21
  - version: "svcomp25"
22
- doi: "10.5281/zenodo.14202342"
22
+ doi: "10.5281/zenodo.14229077"
23
23
  benchexec_toolinfo_options: []
24
24
  required_ubuntu_packages:
25
25
  - openjdk-8-jre-headless
fm_weck/resources/fm_tools/nitwit.yml CHANGED
@@ -35,7 +35,7 @@ versions:
35
35
  competition_participations:
36
36
  - competition: "SV-COMP 2025"
37
37
  track: "Validation of Violation Witnesses 1.0"
38
- hors-concours: true
38
+ hors_concours: true
39
39
  tool_version: "svcomp24-validation-violation"
40
40
  jury_member:
41
41
  name: Hors Concours
fm_weck/resources/fm_tools/owic.yml CHANGED
@@ -37,7 +37,7 @@ versions:
37
37
  competition_participations:
38
38
  - competition: "Test-Comp 2025"
39
39
  track: "Test Generation"
40
- hors-concours: true
40
+ hors_concours: true
41
41
  tool_version: "testcomp24"
42
42
  jury_member:
43
43
  name: Hors Concours
fm_weck/resources/fm_tools/pesco.yml CHANGED
@@ -32,7 +32,7 @@ versions:
32
32
  competition_participations:
33
33
  - competition: "SV-COMP 2025"
34
34
  track: "Verification"
35
- hors-concours: true
35
+ hors_concours: true
36
36
  tool_version: "svcomp24"
37
37
  jury_member:
38
38
  name: Hors Concours
@@ -41,7 +41,7 @@ competition_participations:
41
41
  url: null
42
42
  - competition: "SV-COMP 2024"
43
43
  track: "Verification"
44
- hors-concours: true
44
+ hors_concours: true
45
45
  tool_version: "svcomp24"
46
46
  jury_member:
47
47
  name: Hors Concours
fm_weck/resources/fm_tools/pichecker.yml CHANGED
@@ -26,7 +26,7 @@ versions:
26
26
  competition_participations:
27
27
  - competition: "SV-COMP 2025"
28
28
  track: "Verification"
29
- hors-concours: true
29
+ hors_concours: true
30
30
  tool_version: "svcomp23"
31
31
  jury_member:
32
32
  name: Hors Concours
@@ -35,7 +35,7 @@ competition_participations:
35
35
  url: null
36
36
  - competition: "SV-COMP 2024"
37
37
  track: "Verification"
38
- hors-concours: true
38
+ hors_concours: true
39
39
  tool_version: "svcomp23"
40
40
  jury_member:
41
41
  name: Hors Concours
fm_weck/resources/fm_tools/pinaka.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "SV-COMP 2025"
27
27
  track: "Verification"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "svcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "SV-COMP 2024"
36
36
  track: "Verification"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "svcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
@@ -43,7 +43,7 @@ competition_participations:
43
43
  url: null
44
44
  - competition: "SV-COMP 2023"
45
45
  track: "Verification"
46
- hors-concours: true
46
+ hors_concours: true
47
47
  tool_version: "svcomp23"
48
48
  jury_member:
49
49
  name: Hors Concours
fm_weck/resources/fm_tools/predatorhp.yml CHANGED
@@ -34,7 +34,7 @@ versions:
34
34
  competition_participations:
35
35
  - competition: "SV-COMP 2025"
36
36
  track: "Verification"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "svcomp24"
39
39
  jury_member:
40
40
  name: Hors Concours
@@ -52,7 +52,7 @@ competition_participations:
52
52
  url: https://www.fit.vut.cz/person/isokova/.en
53
53
  - competition: "SV-COMP 2023"
54
54
  track: "Verification"
55
- hors-concours: true
55
+ hors_concours: true
56
56
  tool_version: "svcomp23"
57
57
  jury_member:
58
58
  name: Hors Concours
fm_weck/resources/fm_tools/prtest.yml CHANGED
@@ -29,7 +29,7 @@ versions:
29
29
  competition_participations:
30
30
  - competition: "Test-Comp 2025"
31
31
  track: "Test Generation"
32
- hors-concours: true
32
+ hors_concours: true
33
33
  tool_version: "testcomp24"
34
34
  jury_member:
35
35
  name: Hors Concours
fm_weck/resources/fm_tools/relay-sv.yml CHANGED
@@ -29,7 +29,7 @@ versions:
29
29
  competition_participations:
30
30
  - competition: "SV-COMP 2025"
31
31
  track: "Verification"
32
- hors-concours: true
32
+ hors_concours: true
33
33
  tool_version: "svcomp24"
34
34
  jury_member:
35
35
  name: Hors Concours
fm_weck/resources/fm_tools/rizzer.yml CHANGED
@@ -35,7 +35,7 @@ versions:
35
35
  competition_participations:
36
36
  - competition: "Test-Comp 2025"
37
37
  track: "Test Generation"
38
- hors-concours: true
38
+ hors_concours: true
39
39
  tool_version: "testcomp24"
40
40
  jury_member:
41
41
  name: Hors Concours
fm_weck/resources/fm_tools/schema.yml CHANGED
@@ -118,6 +118,10 @@ properties:
118
118
  - Verification
119
119
  - Test Generation
120
120
  - Validation of Test Suites
121
+ - Validation of Test Suites Clang Formatted
122
+ - Validation of Test Suites Clang Unformatted
123
+ - Validation of Test Suites GCC Formatted
124
+ - Validation of Test Suites GCC Unformatted
121
125
  tool_version:
122
126
  type: string
123
127
  jury_member:
fm_weck/resources/fm_tools/sikraken.yml CHANGED
@@ -19,15 +19,15 @@ maintainers:
19
19
 
20
20
 
21
21
  versions:
22
- - version: "1.0.3"
22
+ - version: "1.0.5"
23
23
  benchexec_toolinfo_options: ["release", "budget[900]"]
24
24
  required_ubuntu_packages: []
25
- doi: "10.5281/zenodo.14194599"
25
+ doi: "10.5281/zenodo.14238880"
26
26
 
27
27
  competition_participations:
28
28
  - competition: "Test-Comp 2025"
29
29
  track: "Test Generation"
30
- tool_version: "1.0.3"
30
+ tool_version: "1.0.5"
31
31
  jury_member:
32
32
  orcid: 0000-0001-6338-6367
33
33
  name: Christophe Meudec
fm_weck/resources/fm_tools/spf.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "SV-COMP 2025"
27
27
  track: "Verification"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "svcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "SV-COMP 2024"
36
36
  track: "Verification"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "svcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
@@ -43,7 +43,7 @@ competition_participations:
43
43
  url: null
44
44
  - competition: "SV-COMP 2023"
45
45
  track: "Verification"
46
- hors-concours: true
46
+ hors_concours: true
47
47
  tool_version: "svcomp23"
48
48
  jury_member:
49
49
  name: Hors Concours
fm_weck/resources/fm_tools/symbiotic.yml CHANGED
@@ -19,14 +19,14 @@ maintainers:
19
19
 
20
20
  versions:
21
21
  - version: "svcomp25"
22
- doi: "10.5281/zenodo.14204995"
22
+ doi: "10.5281/zenodo.14230101"
23
23
  benchexec_toolinfo_options: ['--witness', 'witness.graphml', '--sv-comp']
24
24
  required_ubuntu_packages:
25
25
  - python3
26
26
  - python3-lxml
27
27
  - python3-clang
28
28
  - version: "testcomp25"
29
- doi: "10.5281/zenodo.14204995"
29
+ doi: "10.5281/zenodo.14230101"
30
30
  benchexec_toolinfo_options: ['--test-comp']
31
31
  required_ubuntu_packages:
32
32
  - python3
fm_weck/resources/fm_tools/testcov.yml CHANGED
@@ -24,7 +24,27 @@ maintainers:
24
24
  country: Germany
25
25
  url: https://www.sosy-lab.org/people/lemberger/
26
26
  versions:
27
- - version: "testcomp25"
27
+ - version: "testcomp25-clang-formatted"
28
+ doi: 10.5281/zenodo.14040656
29
+ benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--compiler', 'clang', '--cov-tool', 'llvm-cov', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
30
+ required_ubuntu_packages:
31
+ - clang
32
+ - clang-format
33
+ - clang-tidy
34
+ - llvm
35
+ - lcov
36
+ - gcc
37
+ - version: "testcomp25-clang-unformatted"
38
+ doi: 10.5281/zenodo.14040656
39
+ benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--verbose', '--no-plots', '--prep-cgroup', '--compiler', 'clang', '--cov-tool', 'llvm-cov', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
40
+ required_ubuntu_packages:
41
+ - clang
42
+ - clang-format
43
+ - clang-tidy
44
+ - llvm
45
+ - lcov
46
+ - gcc
47
+ - version: "testcomp25-gcc-formatted"
28
48
  doi: 10.5281/zenodo.14040656
29
49
  benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--format', '--verbose', '--no-plots', '--prep-cgroup', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
30
50
  required_ubuntu_packages:
@@ -32,6 +52,17 @@ versions:
32
52
  - clang-format
33
53
  - clang-tidy
34
54
  - llvm
55
+ - lcov
56
+ - gcc
57
+ - version: "testcomp25-gcc-unformatted"
58
+ doi: 10.5281/zenodo.14040656
59
+ benchexec_toolinfo_options: ['--memlimit', '6GB', '--timelimit-per-run', '50', '--verbose', '--no-plots', '--prep-cgroup', '--reduction', 'BY_ORDER', '--reduction-output', 'test-suite']
60
+ required_ubuntu_packages:
61
+ - clang
62
+ - clang-format
63
+ - clang-tidy
64
+ - llvm
65
+ - lcov
35
66
  - gcc
36
67
  - version: "testcomp24"
37
68
  doi: 10.5281/zenodo.10203746
@@ -45,8 +76,35 @@ versions:
45
76
 
46
77
  competition_participations:
47
78
  - competition: "Test-Comp 2025"
48
- track: "Validation of Test Suites"
49
- tool_version: "testcomp25"
79
+ track: "Validation of Test Suites Clang Formatted"
80
+ tool_version: "testcomp25-clang-formatted"
81
+ jury_member:
82
+ orcid: 0000-0001-7365-5030
83
+ name: Matthias Kettl
84
+ institution: LMU Munich
85
+ country: Germany
86
+ url: https://www.sosy-lab.org/people/kettl/
87
+ - competition: "Test-Comp 2025"
88
+ track: "Validation of Test Suites Clang Unformatted"
89
+ tool_version: "testcomp25-clang-unformatted"
90
+ jury_member:
91
+ orcid: 0000-0001-7365-5030
92
+ name: Matthias Kettl
93
+ institution: LMU Munich
94
+ country: Germany
95
+ url: https://www.sosy-lab.org/people/kettl/
96
+ - competition: "Test-Comp 2025"
97
+ track: "Validation of Test Suites GCC Formatted"
98
+ tool_version: "testcomp25-gcc-formatted"
99
+ jury_member:
100
+ orcid: 0000-0001-7365-5030
101
+ name: Matthias Kettl
102
+ institution: LMU Munich
103
+ country: Germany
104
+ url: https://www.sosy-lab.org/people/kettl/
105
+ - competition: "Test-Comp 2025"
106
+ track: "Validation of Test Suites GCC Unformatted"
107
+ tool_version: "testcomp25-gcc-unformatted"
50
108
  jury_member:
51
109
  orcid: 0000-0001-7365-5030
52
110
  name: Matthias Kettl
fm_weck/resources/fm_tools/verioover.yml CHANGED
@@ -25,7 +25,7 @@ versions:
25
25
  competition_participations:
26
26
  - competition: "SV-COMP 2025"
27
27
  track: "Verification"
28
- hors-concours: true
28
+ hors_concours: true
29
29
  tool_version: "svcomp23"
30
30
  jury_member:
31
31
  name: Hors Concours
@@ -34,7 +34,7 @@ competition_participations:
34
34
  url: null
35
35
  - competition: "SV-COMP 2024"
36
36
  track: "Verification"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "svcomp23"
39
39
  jury_member:
40
40
  name: Hors Concours
fm_weck/resources/fm_tools/wasp-c.yml CHANGED
@@ -31,7 +31,7 @@ versions:
31
31
  competition_participations:
32
32
  - competition: "Test-Comp 2025"
33
33
  track: "Test Generation"
34
- hors-concours: true
34
+ hors_concours: true
35
35
  tool_version: "testcomp23"
36
36
  jury_member:
37
37
  name: Hors Concours
@@ -40,7 +40,7 @@ competition_participations:
40
40
  url: null
41
41
  - competition: "Test-Comp 2024"
42
42
  track: "Test Generation"
43
- hors-concours: true
43
+ hors_concours: true
44
44
  tool_version: "testcomp23"
45
45
  jury_member:
46
46
  name: Hors Concours
fm_weck/resources/fm_tools/wit4java.yml CHANGED
@@ -28,7 +28,7 @@ versions:
28
28
  competition_participations:
29
29
  - competition: "SV-COMP 2025"
30
30
  track: "Validation of Violation Witnesses 1.0"
31
- hors-concours: true
31
+ hors_concours: true
32
32
  tool_version: "svcomp23"
33
33
  jury_member:
34
34
  name: Hors Concours
@@ -37,7 +37,7 @@ competition_participations:
37
37
  url: null
38
38
  - competition: "SV-COMP 2024"
39
39
  track: "Validation of Violation Witnesses 1.0"
40
- hors-concours: true
40
+ hors_concours: true
41
41
  tool_version: "svcomp23"
42
42
  jury_member:
43
43
  name: Hors Concours
fm_weck/resources/fm_tools/witnessmap.yml CHANGED
@@ -2,7 +2,6 @@ id: witnessmap
2
2
  name: WitnessMap
3
3
  input_languages:
4
4
  - C
5
- - Java
6
5
  project_url: https://gitlab.com/sosy-lab/software/witnessmap
7
6
  repository_url: https://gitlab.com/sosy-lab/software/witnessmap
8
7
  spdx_license_identifier: Apache-2.0
fm_weck/serve.py CHANGED
@@ -37,6 +37,9 @@ def check_cache_entry(shelve_space: Path, checksum: str, config: Config) -> bool
37
37
  except dbm.error:
38
38
  logger.debug("Checksum file does not exist")
39
39
  return False
40
+ except KeyError:
41
+ logger.debug("Checksum does not exist")
42
+ return False
40
43
 
41
44
 
42
45
  def update_checksum(shelve_space: Path, checksum: str, config: Config):
@@ -64,7 +67,7 @@ def setup_fm_tool(
64
67
  shelve_space = configuration.get_shelve_space_for(fm_data)
65
68
  logger.debug("Using shelve space %s", shelve_space)
66
69
 
67
- if shelve_space.exists() and shelve_space.is_dir():
70
+ if (not skip_download) and shelve_space.exists() and shelve_space.is_dir():
68
71
  logger.debug("Shelve space already exists, testing checksum")
69
72
  checksum = fm_data.archive_location.checksum()
70
73
  skip_download = check_cache_entry(shelve_space, checksum, configuration)
{fm_weck-1.4.3.dist-info → fm_weck-1.4.5.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.3
2
2
  Name: fm-weck
3
- Version: 1.4.3
3
+ Version: 1.4.5
4
4
  Author-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
5
5
  Maintainer-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
6
6
  Classifier: Development Status :: 4 - Beta