search

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
http://theta.inf.mit.bme.hu/
Apache License 2.0
49 stars 43 forks source link

EmergenTheta Update #314

Closed leventeBajczi closed 2 weeks ago

leventeBajczi commented 3 weeks ago

This PR updates the Emergent portfolio for EmergenTheta.

sonarcloud[bot] commented 2 weeks ago

Quality Gate Failed Quality Gate failed

Failed conditions
49.9% Coverage on New Code (required ≥ 60%)
10.2% Duplication on New Code (required ≤ 5%)

See analysis details on SonarCloud

github-actions[bot] commented 2 weeks ago

:exclamation: Please modify build.gradle.kts to contain a later version than 6.8.0. Current version is 6.8.0.

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 / 437) HTML/CSV :exclamation: (55 / 10 / 131) HTML/CSV :question: (0 / 0 / 450) HTML/CSV
SV-COMP25_no-overflow :question: (0 / 0 / 32) HTML/CSV :question: (0 / 0 / 32) HTML/CSV :question: (0 / 0 / 32) HTML/CSV
SV-COMP25_termination :white_check_mark: (8 / 0 / 54) HTML/CSV :white_check_mark: (4 / 0 / 55) HTML/CSV :white_check_mark: (11 / 0 / 55) HTML/CSV
SV-COMP25_unreach-call :white_check_mark: (10 / 0 / 213) HTML/CSV :exclamation: (13 / 2 / 136) HTML/CSV :exclamation: (14 / 1 / 219) 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 :exclamation: (0 / 2 / 448) HTML/CSV :exclamation: (36 / 3 / 354) HTML/CSV :white_check_mark: (4 / 0 / 424) HTML/CSV