Add support for building with GCC 14 #8368
Merged
Codecov / codecov/project
succeeded
Jul 5, 2024 in 1s
78.34% (-0.01%) compared to 66ae03f, passed because coverage increased by -0.01% when compared to adjusted base (78.34%)
View this Pull Request on Codecov
78.34% (-0.01%) compared to 66ae03f, passed because coverage increased by -0.01% when compared to adjusted base (78.34%)
Details
Codecov Report
Attention: Patch coverage is 88.09524% with 5 lines in your changes missing coverage. Please review.
Project coverage is 78.34%. Comparing base (
66ae03f) to head (560a588).
| Files | Patch % | Lines |
|---|---|---|
| unit/util/graph.cpp | 20.00% | 4 Missing |
| src/goto-programs/interpreter.cpp | 50.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8368 +/- ##
===========================================
- Coverage 78.34% 78.34% -0.01%
===========================================
Files 1726 1726
Lines 188437 188415 -22
Branches 18244 18248 +4
===========================================
- Hits 147638 147607 -31
- Misses 40799 40808 +9 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading