Portfolio update - Githubissues

leventeBajczi commented 2 weeks ago

Changes:

[x] portfolios have been created for this year (horn25, bounded25, complex25)
[x] in complex25, when we encounter a multithreaded program (unreach-call), we start with a quick OC check
[x] loopunrollpass's flag has been converted into an xcfa flag (unsafeUnroll)
[x] OC check should be parameterized well (@csanadtelbisz)
[x] bounded25 should be updated (will be done by merging #314)

sonarcloud[bot] commented 2 weeks ago

Quality Gate failed

Failed conditions
11.5% Duplication on New Code (required ≤ 5%)

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 / 404) HTML/CSV	:white_check_mark: (51 / 0 / 107) HTML/CSV	:question: (0 / 0 / 415) HTML/CSV
SV-COMP25_no-overflow	:question: (0 / 0 / 17) HTML/CSV	:question: (0 / 0 / 17) HTML/CSV	:question: (0 / 0 / 17) HTML/CSV
SV-COMP25_termination	:white_check_mark: (4 / 0 / 26) HTML/CSV	:white_check_mark: (12 / 0 / 30) HTML/CSV	:white_check_mark: (13 / 0 / 40) HTML/CSV
SV-COMP25_unreach-call	:white_check_mark: (5 / 0 / 180) HTML/CSV	:white_check_mark: (15 / 0 / 88) HTML/CSV	:exclamation: (15 / 1 / 184) HTML/CSV
SV-COMP25_valid-memcleanup	:question: (0 / 0 / 65) HTML/CSV	:question: (0 / 0 / 65) HTML/CSV	:question: (0 / 0 / 65) HTML/CSV
SV-COMP25_valid-memsafety	:question: (0 / 0 / 443) HTML/CSV	:exclamation: (35 / 3 / 334) HTML/CSV	:exclamation: (5 / 2 / 417) HTML/CSV