Improve printf formatter #8205
Merged
Improve printf formatter #8205
Codecov / codecov/project
failed
Mar 19, 2024 in 0s
79.64% (-0.01%) compared to c7d8e2e
View this Pull Request on Codecov
79.64% (-0.01%) compared to c7d8e2e
Details
Codecov Report
Attention: Patch coverage is 63.96396% with 40 lines in your changes are missing coverage. Please review.
Project coverage is 79.64%. Comparing base (
c7d8e2e) to head (00ae5a8).
| Files | Patch % | Lines |
|---|---|---|
| src/goto-programs/printf_formatter.cpp | 62.61% | 40 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8205 +/- ##
===========================================
- Coverage 79.64% 79.64% -0.01%
===========================================
Files 1684 1684
Lines 195582 195661 +79
===========================================
+ Hits 155777 155837 +60
- Misses 39805 39824 +19 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading