github-actions[bot]
commented
2 weeks ago Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):
| Rundefinition | BOUNDED | CEGAR | HORN |
|---|---|---|---|
| SV-COMP25_no-data-race | :question: (0 / 0 / 31) HTML/CSV | :exclamation: (6 / 1 / 10) HTML/CSV | :question: (0 / 0 / 31) HTML/CSV |
| SV-COMP25_no-overflow | :question: (0 / 0 / 4) HTML/CSV | :question: (0 / 0 / 4) HTML/CSV | :question: (0 / 0 / 4) HTML/CSV |
| SV-COMP25_termination | :white_check_mark: (2 / 0 / 8) HTML/CSV | :white_check_mark: (2 / 0 / 10) HTML/CSV | :white_check_mark: (2 / 0 / 9) HTML/CSV |
| SV-COMP25_unreach-call | :white_check_mark: (9 / 0 / 228) HTML/CSV | :exclamation: (14 / 3 / 144) HTML/CSV | :exclamation: (16 / 1 / 236) HTML/CSV |
| SV-COMP25_valid-memcleanup | :question: (0 / 0 / 32) HTML/CSV | :question: (0 / 0 / 33) HTML/CSV | :question: (0 / 0 / 33) HTML/CSV |
| SV-COMP25_valid-memsafety | :question: (0 / 0 / 173) HTML/CSV | :white_check_mark: (20 / 0 / 132) HTML/CSV | :question: (0 / 0 / 161) HTML/CSV |
:exclamation: Please modify
build.gradle.ktsto contain a later version than 6.7.2. Current version is 6.7.2.