Fix --nan-check false positive for finite/+INFINITY division #8745
Codecov / codecov/project
succeeded
Mar 10, 2026 in 0s
80.00% (-0.01%) compared to bacf91c, passed because coverage increased by 0% when compared to adjusted base (80.01%)
View this Pull Request on Codecov
80.00% (-0.01%) compared to bacf91c, passed because coverage increased by 0% when compared to adjusted base (80.01%)
Details
Codecov Report
❌ Patch coverage is 84.00000% with 4 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.00%. Comparing base (bacf91c) to head (5702d00).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_parser.cpp | 75.00% | 4 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8745 +/- ##
===========================================
- Coverage 80.01% 80.00% -0.01%
===========================================
Files 1700 1700
Lines 188344 188364 +20
Branches 73 73
===========================================
+ Hits 150701 150710 +9
- Misses 37643 37654 +11 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading