fixup #8538 -- correct rounding modes for floor, trunc
#8597
Codecov / codecov/project
failed
Feb 21, 2025 in 1s
79.53% (-0.05%) compared to 159af34
View this Pull Request on Codecov
79.53% (-0.05%) compared to 159af34
Details
Codecov Report
Attention: Patch coverage is 76.47059% with 4 lines in your changes missing coverage. Please review.
Project coverage is 79.53%. Comparing base (
159af34) to head (968c28f).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/util/simplify_expr_floatbv.cpp | 71.42% | 4 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8597 +/- ##
===========================================
- Coverage 79.57% 79.53% -0.05%
===========================================
Files 1733 1733
Lines 197826 197958 +132
Branches 18197 18193 -4
===========================================
+ Hits 157421 157438 +17
- Misses 40405 40520 +115 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading