goto-analyzer: --show-local-bitvector
#8546
Merged
Codecov / codecov/project
failed
Dec 27, 2024 in 0s
78.34% (-0.04%) compared to f9a7807
View this Pull Request on Codecov
78.34% (-0.04%) compared to f9a7807
Details
Codecov Report
Attention: Patch coverage is 81.25000%
with 3 lines
in your changes missing coverage. Please review.
Project coverage is 78.34%. Comparing base (
f9a7807
) to head (1e50663
).
Files with missing lines | Patch % | Lines |
---|---|---|
src/goto-analyzer/goto_analyzer_parse_options.cpp | 81.25% | 3 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8546 +/- ##
===========================================
- Coverage 78.38% 78.34% -0.04%
===========================================
Files 1729 1729
Lines 200151 200307 +156
Branches 18244 18247 +3
===========================================
+ Hits 156883 156934 +51
- Misses 43268 43373 +105
☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading