Add support for building with GCC 14
Codecov / codecov/patch
succeeded
Jul 5, 2024 in 0s
88.09% of diff hit (target 78.34%)
View this Pull Request on Codecov
88.09% of diff hit (target 78.34%)
Annotations
Check warning on line 610 in src/goto-programs/interpreter.cpp
codecov / codecov/patch
src/goto-programs/interpreter.cpp#L610
Added line #L610 was not covered by tests
Check warning on line 76 in unit/util/graph.cpp
codecov / codecov/patch
unit/util/graph.cpp#L73-L76
Added lines #L73 - L76 were not covered by tests
Loading