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

Reformat fix #309

Closed leventeBajczi closed 1 month ago

github-actions[bot] commented 1 month ago

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

task set BOUNDED CEGAR HORN
Arrays :white_check_mark: (1 / 0 / 85) HTML/CSV :question: (0 / 0 / 4) HTML/CSV :white_check_mark: (1 / 0 / 50) HTML/CSV
BitVectors :white_check_mark: (4 / 0 / 21) HTML/CSV :white_check_mark: (6 / 0 / 30) HTML/CSV :white_check_mark: (2 / 0 / 30) HTML/CSV
Combinations :question: (0 / 0 / 39) HTML/CSV :question: (0 / 0 / 39) HTML/CSV :question: (0 / 0 / 39) HTML/CSV
Concurrency :question: (0 / 0 / 112) HTML/CSV :white_check_mark: (7 / 0 / 41) HTML/CSV :question: (0 / 0 / 112) HTML/CSV
ConcurrencySafety-NoOverflows :question: (0 / 0 / 107) HTML/CSV :white_check_mark: (8 / 0 / 38) HTML/CSV :question: (0 / 0 / 106) HTML/CSV
ControlFlow :white_check_mark: (3 / 0 / 32) HTML/CSV :white_check_mark: (2 / 0 / 55) HTML/CSV :exclamation: (31 / 17 / 66) HTML/CSV
ECA :question: (0 / 0 / 36) HTML/CSV :question: (0 / 0 / 36) HTML/CSV :question: (0 / 0 / 36) HTML/CSV
Floats :question: (0 / 0 / 17) HTML/CSV :white_check_mark: (7 / 0 / 22) HTML/CSV :question: (0 / 0 / 33) HTML/CSV
Hardware :question: (0 / 0 / 28) HTML/CSV :white_check_mark: (1 / 0 / 10) HTML/CSV :question: (0 / 0 / 28) HTML/CSV
Heap :white_check_mark: (10 / 0 / 112) HTML/CSV :white_check_mark: (40 / 0 / 91) HTML/CSV :exclamation: (10 / 2 / 112) HTML/CSV
Loops :white_check_mark: (12 / 0 / 50) HTML/CSV :white_check_mark: (6 / 0 / 12) HTML/CSV :white_check_mark: (24 / 0 / 68) HTML/CSV
NoDataRace :question: (0 / 0 / 117) HTML/CSV :white_check_mark: (27 / 0 / 49) HTML/CSV :question: (0 / 0 / 116) HTML/CSV
ProductLines :question: (0 / 0 / 313) HTML/CSV :question: (0 / 0 / 313) HTML/CSV :question: (0 / 0 / 310) HTML/CSV
Recursive :question: (0 / 0 / 153) HTML/CSV :white_check_mark: (7 / 0 / 36) HTML/CSV :question: (0 / 0 / 153) HTML/CSV
Sequentialized :white_check_mark: (2 / 0 / 30) HTML/CSV :white_check_mark: (2 / 0 / 31) HTML/CSV :white_check_mark: (3 / 0 / 30) HTML/CSV
XCSP :question: (0 / 0 / 19) HTML/CSV :question: (0 / 0 / 19) HTML/CSV :question: (0 / 0 / 19) HTML/CSV