ieee_floatt::one(...)
#8552
Merged
ieee_floatt::one(...)
#8552
Codecov / codecov/project
failed
Jan 2, 2025 in 0s
78.73% (-0.20%) compared to 6dc6dd5
View this Pull Request on Codecov
78.73% (-0.20%) compared to 6dc6dd5
Details
Codecov Report
Attention: Patch coverage is 78.26087% with 5 lines in your changes missing coverage. Please review.
Project coverage is 78.73%. Comparing base (
6dc6dd5) to head (ebaf179).
Report is 2 commits behind head on develop.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| unit/util/ieee_float.cpp | 50.00% | 4 Missing |
| src/goto-programs/interpreter_evaluate.cpp | 0.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8552 +/- ##
===========================================
- Coverage 78.93% 78.73% -0.20%
===========================================
Files 1729 1730 +1
Lines 198762 199255 +493
Branches 18313 18312 -1
===========================================
- Hits 156888 156886 -2
- Misses 41874 42369 +495 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading