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/__init__.py CHANGED
@@ -8,4 +8,4 @@
8
8
  from .config import Config # noqa: F401
9
9
  from .image_mgr import ImageMgr # noqa: F401
10
10
 
11
- __version__ = "1.4.3"
11
+ __version__ = "1.4.5"
fm_weck/cli.py CHANGED
@@ -479,7 +479,7 @@ def cli(raw_args: list[str]):
479
479
  return help_callback()
480
480
 
481
481
  try:
482
- args.main(args)
482
+ return args.main(args)
483
483
  except NoImageError:
484
484
  log_no_image_error(args.TOOL, Config()._config_source)
485
485
  return 1
fm_weck/engine.py CHANGED
@@ -330,7 +330,7 @@ class Engine(ABC):
330
330
  if self.dry_run:
331
331
  print("Command to be executed:")
332
332
  print(" ".join(map(str, command)))
333
- return
333
+ return 0
334
334
 
335
335
  return_code = self._run_process(command)
336
336
  self._move_output()
@@ -354,7 +354,7 @@ class Podman(Engine):
354
354
  return [
355
355
  # "--annotation",
356
356
  # "run.oci.keep_original_groups=1",
357
- "--cgroups=split",
357
+ # "--cgroups=split",
358
358
  "--security-opt",
359
359
  "unmask=/sys/fs/cgroup",
360
360
  "--security-opt",
fm_weck/resources/fm_tools/cbmc.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
  orcid: 0000-0002-7947-983X
fm_weck/resources/fm_tools/cetfuzz.yml CHANGED
@@ -46,7 +46,7 @@ versions:
46
46
  competition_participations:
47
47
  - competition: "Test-Comp 2025"
48
48
  track: "Test Generation"
49
- hors-concours: true
49
+ hors_concours: true
50
50
  tool_version: "testcomp24"
51
51
  jury_member:
52
52
  name: Hors Concours
fm_weck/resources/fm_tools/coastal.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: "svcomp20"
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: "svcomp20"
40
40
  jury_member:
41
41
  name: Hors Concours
@@ -44,7 +44,7 @@ competition_participations:
44
44
  url: null
45
45
  - competition: "SV-COMP 2023"
46
46
  track: "Verification"
47
- hors-concours: true
47
+ hors_concours: true
48
48
  tool_version: "svcomp20"
49
49
  jury_member:
50
50
  name: Hors Concours
fm_weck/resources/fm_tools/cooperace.yml CHANGED
@@ -33,7 +33,7 @@ versions:
33
33
  competition_participations:
34
34
  - competition: "SV-COMP 2025"
35
35
  track: "Verification"
36
- hors-concours: true
36
+ hors_concours: true
37
37
  tool_version: "svcomp25"
38
38
  jury_member:
39
39
  orcid: 0000-0003-4336-7980
fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml CHANGED
@@ -42,7 +42,7 @@ versions:
42
42
  competition_participations:
43
43
  - competition: "SV-COMP 2025"
44
44
  track: "Verification"
45
- hors-concours: true
45
+ hors_concours: true
46
46
  tool_version: "svcomp23"
47
47
  jury_member:
48
48
  name: Hors Concours
@@ -51,7 +51,7 @@ competition_participations:
51
51
  url: null
52
52
  - competition: "SV-COMP 2024"
53
53
  track: "Verification"
54
- hors-concours: true
54
+ hors_concours: true
55
55
  tool_version: "svcomp23"
56
56
  jury_member:
57
57
  name: Hors Concours
@@ -60,7 +60,7 @@ competition_participations:
60
60
  url: null
61
61
  - competition: "SV-COMP 2023"
62
62
  track: "Verification"
63
- hors-concours: true
63
+ hors_concours: true
64
64
  tool_version: "svcomp23"
65
65
  jury_member:
66
66
  name: Hors Concours
fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml CHANGED
@@ -42,7 +42,7 @@ versions:
42
42
  competition_participations:
43
43
  - competition: "SV-COMP 2025"
44
44
  track: "Verification"
45
- hors-concours: true
45
+ hors_concours: true
46
46
  tool_version: "svcomp23"
47
47
  jury_member:
48
48
  name: Hors Concours
@@ -51,7 +51,7 @@ competition_participations:
51
51
  url: null
52
52
  - competition: "SV-COMP 2024"
53
53
  track: "Verification"
54
- hors-concours: true
54
+ hors_concours: true
55
55
  tool_version: "svcomp23"
56
56
  jury_member:
57
57
  name: Hors Concours
@@ -60,7 +60,7 @@ competition_participations:
60
60
  url: null
61
61
  - competition: "SV-COMP 2023"
62
62
  track: "Verification"
63
- hors-concours: true
63
+ hors_concours: true
64
64
  tool_version: "svcomp23"
65
65
  jury_member:
66
66
  name: Hors Concours
fm_weck/resources/fm_tools/cpa-bam-bnb.yml CHANGED
@@ -27,7 +27,7 @@ versions:
27
27
  competition_participations:
28
28
  - competition: "SV-COMP 2025"
29
29
  track: "Verification"
30
- hors-concours: true
30
+ hors_concours: true
31
31
  tool_version: "svcomp23"
32
32
  jury_member:
33
33
  name: Hors Concours
@@ -36,7 +36,7 @@ competition_participations:
36
36
  url: null
37
37
  - competition: "SV-COMP 2024"
38
38
  track: "Verification"
39
- hors-concours: true
39
+ hors_concours: true
40
40
  tool_version: "svcomp23"
41
41
  jury_member:
42
42
  name: Hors Concours
@@ -45,7 +45,7 @@ competition_participations:
45
45
  url: null
46
46
  - competition: "SV-COMP 2023"
47
47
  track: "Verification"
48
- hors-concours: true
48
+ hors_concours: true
49
49
  tool_version: "svcomp23"
50
50
  jury_member:
51
51
  name: Hors Concours
fm_weck/resources/fm_tools/cpa-bam-smg.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: "svcomp22"
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: "svcomp22"
40
40
  jury_member:
41
41
  name: Hors Concours
@@ -44,7 +44,7 @@ competition_participations:
44
44
  url: null
45
45
  - competition: "SV-COMP 2023"
46
46
  track: "Verification"
47
- hors-concours: true
47
+ hors_concours: true
48
48
  tool_version: "svcomp22"
49
49
  jury_member:
50
50
  name: Hors Concours
fm_weck/resources/fm_tools/cpa-lockator.yml CHANGED
@@ -27,7 +27,7 @@ versions:
27
27
  competition_participations:
28
28
  - competition: "SV-COMP 2025"
29
29
  track: "Verification"
30
- hors-concours: true
30
+ hors_concours: true
31
31
  tool_version: "svcomp21"
32
32
  jury_member:
33
33
  name: Hors Concours
@@ -36,7 +36,7 @@ competition_participations:
36
36
  url: null
37
37
  - competition: "SV-COMP 2024"
38
38
  track: "Verification"
39
- hors-concours: true
39
+ hors_concours: true
40
40
  tool_version: "svcomp21"
41
41
  jury_member:
42
42
  name: Hors Concours
@@ -45,7 +45,7 @@ competition_participations:
45
45
  url: null
46
46
  - competition: "SV-COMP 2023"
47
47
  track: "Verification"
48
- hors-concours: true
48
+ hors_concours: true
49
49
  tool_version: "svcomp21"
50
50
  jury_member:
51
51
  name: Hors Concours
fm_weck/resources/fm_tools/cpa-witness2test.yml CHANGED
@@ -44,7 +44,7 @@ versions:
44
44
  competition_participations:
45
45
  - competition: "SV-COMP 2025"
46
46
  track: "Validation of Violation Witnesses 1.0"
47
- hors-concours: true
47
+ hors_concours: true
48
48
  tool_version: "2.3"
49
49
  jury_member:
50
50
  name: Hors Concours
fm_weck/resources/fm_tools/cpachecker.yml CHANGED
@@ -232,6 +232,9 @@ frameworks_solvers:
232
232
  - Apron
233
233
 
234
234
  literature:
235
+ - doi: 10.1007/978-3-031-71177-0_30
236
+ title: "Software Verification with CPAchecker 3.0: Tutorial and User Guide"
237
+ year: 2024
235
238
  - doi: 10.1007/978-3-642-22110-1_16
236
239
  title: "CPAchecker: A Tool for Configurable Software Verification"
237
240
  year: 2011
fm_weck/resources/fm_tools/crux.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
@@ -44,7 +44,7 @@ competition_participations:
44
44
  url: https://ryanglscott.github.io/
45
45
  - competition: "SV-COMP 2023"
46
46
  track: "Verification"
47
- hors-concours: true
47
+ hors_concours: true
48
48
  tool_version: "svcomp23"
49
49
  jury_member:
50
50
  name: Hors Concours
fm_weck/resources/fm_tools/cseq.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: "svcomp22"
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: "svcomp22"
39
39
  jury_member:
40
40
  name: Hors Concours
@@ -43,7 +43,7 @@ competition_participations:
43
43
  url: https://github.com/Emersonwds
44
44
  - competition: "SV-COMP 2023"
45
45
  track: "Verification"
46
- hors-concours: true
46
+ hors_concours: true
47
47
  tool_version: "svcomp22"
48
48
  jury_member:
49
49
  name: Hors Concours
fm_weck/resources/fm_tools/divine.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: "svcomp22"
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: "svcomp22"
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: "svcomp22"
48
48
  jury_member:
49
49
  name: Hors Concours
fm_weck/resources/fm_tools/ebf.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/esbmc-incr.yml CHANGED
@@ -43,7 +43,7 @@ competition_participations:
43
43
  url: null
44
44
  - competition: "SV-COMP 2024"
45
45
  track: "Verification"
46
- hors-concours: true
46
+ hors_concours: true
47
47
  tool_version: "svcomp22"
48
48
  jury_member:
49
49
  name: Hors Concours
@@ -52,7 +52,7 @@ competition_participations:
52
52
  url: null
53
53
  - competition: "SV-COMP 2023"
54
54
  track: "Verification"
55
- hors-concours: true
55
+ hors_concours: true
56
56
  tool_version: "svcomp22"
57
57
  jury_member:
58
58
  name: Hors Concours
fm_weck/resources/fm_tools/esbmc-kind.yml CHANGED
@@ -75,7 +75,7 @@ competition_participations:
75
75
  url: null
76
76
  - competition: "Test-Comp 2024"
77
77
  track: "Test Generation"
78
- hors-concours: true
78
+ hors_concours: true
79
79
  tool_version: "testcomp23"
80
80
  jury_member:
81
81
  name: Hors Concours
fm_weck/resources/fm_tools/fdse.yml CHANGED
@@ -19,7 +19,7 @@ maintainers:
19
19
 
20
20
  versions:
21
21
  - version: "testcomp25"
22
- doi: 10.5281/zenodo.14207717
22
+ doi: 10.5281/zenodo.14241978
23
23
  benchexec_toolinfo_options: ["--testcomp"]
24
24
  required_ubuntu_packages: []
25
25
  - version: "testcomp24"
fm_weck/resources/fm_tools/fizzer.yml CHANGED
@@ -19,7 +19,7 @@ maintainers:
19
19
 
20
20
  versions:
21
21
  - version: "testcomp25"
22
- doi: 10.5281/zenodo.14210143
22
+ doi: 10.5281/zenodo.14246517
23
23
  benchexec_toolinfo_options: [
24
24
  "--max_seconds", "865",
25
25
  "--optimizer_max_seconds", "30",
fm_weck/resources/fm_tools/frama-c-sv.yml CHANGED
@@ -36,7 +36,7 @@ versions:
36
36
  competition_participations:
37
37
  - competition: "SV-COMP 2025"
38
38
  track: "Verification"
39
- hors-concours: true
39
+ hors_concours: true
40
40
  tool_version: "svcomp24"
41
41
  jury_member:
42
42
  name: Hors Concours
fm_weck/resources/fm_tools/fshell-witness2test.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/fusebmc-ia.yml CHANGED
@@ -34,7 +34,7 @@ versions:
34
34
  competition_participations:
35
35
  - competition: "Test-Comp 2025"
36
36
  track: "Test Generation"
37
- hors-concours: true
37
+ hors_concours: true
38
38
  tool_version: "testcomp24"
39
39
  jury_member:
40
40
  name: Hors Concours
fm_weck/resources/fm_tools/gazer-theta.yml CHANGED
@@ -31,7 +31,7 @@ versions:
31
31
  competition_participations:
32
32
  - competition: "SV-COMP 2025"
33
33
  track: "Verification"
34
- hors-concours: true
34
+ hors_concours: true
35
35
  tool_version: "svcomp23"
36
36
  jury_member:
37
37
  name: Hors Concours
@@ -40,7 +40,7 @@ competition_participations:
40
40
  url: null
41
41
  - competition: "SV-COMP 2024"
42
42
  track: "Verification"
43
- hors-concours: true
43
+ hors_concours: true
44
44
  tool_version: "svcomp23"
45
45
  jury_member:
46
46
  name: Hors Concours
@@ -49,7 +49,7 @@ competition_participations:
49
49
  url: null
50
50
  - competition: "SV-COMP 2023"
51
51
  track: "Verification"
52
- hors-concours: true
52
+ hors_concours: true
53
53
  tool_version: "svcomp23"
54
54
  jury_member:
55
55
  name: Hors Concours
fm_weck/resources/fm_tools/gdart-llvm.yml CHANGED
@@ -27,7 +27,7 @@ versions:
27
27
  competition_participations:
28
28
  - competition: "SV-COMP 2025"
29
29
  track: "Verification"
30
- hors-concours: true
30
+ hors_concours: true
31
31
  tool_version: "svcomp23"
32
32
  jury_member:
33
33
  name: Hors Concours
@@ -36,7 +36,7 @@ competition_participations:
36
36
  url: null
37
37
  - competition: "SV-COMP 2024"
38
38
  track: "Verification"
39
- hors-concours: true
39
+ hors_concours: true
40
40
  tool_version: "svcomp23"
41
41
  jury_member:
42
42
  name: Hors Concours
fm_weck/resources/fm_tools/graves-par.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: "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 2024"
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
@@ -52,7 +52,7 @@ competition_participations:
52
52
  url: null
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/graves.yml CHANGED
@@ -30,7 +30,7 @@ versions:
30
30
  competition_participations:
31
31
  - competition: "SV-COMP 2025"
32
32
  track: "Verification"
33
- hors-concours: true
33
+ hors_concours: true
34
34
  tool_version: "svcomp23"
35
35
  jury_member:
36
36
  name: Hors Concours
@@ -39,7 +39,7 @@ competition_participations:
39
39
  url: null
40
40
  - competition: "SV-COMP 2024"
41
41
  track: "Verification"
42
- hors-concours: true
42
+ hors_concours: true
43
43
  tool_version: "svcomp23"
44
44
  jury_member:
45
45
  name: Hors Concours
fm_weck/resources/fm_tools/gwit.yml CHANGED
@@ -32,7 +32,7 @@ versions:
32
32
  competition_participations:
33
33
  - competition: "SV-COMP 2025"
34
34
  track: "Validation of Violation Witnesses 1.0"
35
- hors-concours: true
35
+ hors_concours: true
36
36
  tool_version: "svcomp24"
37
37
  jury_member:
38
38
  name: Hors Concours
fm_weck/resources/fm_tools/hybridtiger.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/infer.yml CHANGED
@@ -31,7 +31,7 @@ versions:
31
31
  competition_participations:
32
32
  - competition: "SV-COMP 2025"
33
33
  track: "Verification"
34
- hors-concours: true
34
+ hors_concours: true
35
35
  tool_version: "svcomp24"
36
36
  jury_member:
37
37
  name: Hors Concours
@@ -40,7 +40,7 @@ competition_participations:
40
40
  url: null
41
41
  - competition: "SV-COMP 2024"
42
42
  track: "Verification"
43
- hors-concours: true
43
+ hors_concours: true
44
44
  tool_version: "svcomp24"
45
45
  jury_member:
46
46
  name: Hors Concours
@@ -49,7 +49,7 @@ competition_participations:
49
49
  url: null
50
50
  - competition: "SV-COMP 2023"
51
51
  track: "Verification"
52
- hors-concours: true
52
+ hors_concours: true
53
53
  tool_version: "svcomp23"
54
54
  jury_member:
55
55
  name: Hors Concours
fm_weck/resources/fm_tools/java-ranger.yml CHANGED
@@ -39,7 +39,7 @@ competition_participations:
39
39
  url: https://sohah.github.io/
40
40
  - competition: "SV-COMP 2024"
41
41
  track: "Verification"
42
- hors-concours: true
42
+ hors_concours: true
43
43
  tool_version: "svcomp23"
44
44
  jury_member:
45
45
  name: Hors Concours
fm_weck/resources/fm_tools/jayhorn.yml CHANGED
@@ -33,7 +33,7 @@ versions:
33
33
  competition_participations:
34
34
  - competition: "SV-COMP 2025"
35
35
  track: "Verification"
36
- hors-concours: true
36
+ hors_concours: true
37
37
  tool_version: "svcomp24"
38
38
  jury_member:
39
39
  name: Hors Concours
@@ -50,7 +50,7 @@ competition_participations:
50
50
  url: https://ir.linkedin.com/in/hassan-mousavi
51
51
  - competition: "SV-COMP 2023"
52
52
  track: "Verification"
53
- hors-concours: true
53
+ hors_concours: true
54
54
  tool_version: "svcomp23"
55
55
  jury_member:
56
56
  name: Hors Concours
fm_weck/resources/fm_tools/jcwit.yml CHANGED
@@ -28,7 +28,7 @@ versions:
28
28
  competition_participations:
29
29
  - competition: "SV-COMP 2025"
30
30
  track: "Validation of Correctness Witnesses 1.0"
31
- hors-concours: true
31
+ hors_concours: true
32
32
  tool_version: "svcomp24"
33
33
  jury_member:
34
34
  name: Hors Concours
fm_weck/resources/fm_tools/jdart.yml CHANGED
@@ -27,7 +27,7 @@ versions:
27
27
  competition_participations:
28
28
  - competition: "SV-COMP 2025"
29
29
  track: "Verification"
30
- hors-concours: true
30
+ hors_concours: true
31
31
  tool_version: "svcomp23"
32
32
  jury_member:
33
33
  name: Hors Concours
@@ -36,7 +36,7 @@ competition_participations:
36
36
  url: null
37
37
  - competition: "SV-COMP 2024"
38
38
  track: "Verification"
39
- hors-concours: true
39
+ hors_concours: true
40
40
  tool_version: "svcomp23"
41
41
  jury_member:
42
42
  name: Hors Concours
@@ -45,7 +45,7 @@ competition_participations:
45
45
  url: null
46
46
  - competition: "SV-COMP 2023"
47
47
  track: "Verification"
48
- hors-concours: true
48
+ hors_concours: true
49
49
  tool_version: "svcomp23"
50
50
  jury_member:
51
51
  name: Hors Concours