Add saturating arithmetic support to SMT2 incremental solver #8774
+161
−1
Codecov / codecov/project
succeeded
Dec 2, 2025 in 0s
80.01% (+0.00%) compared to 1505c36
View this Pull Request on Codecov
80.01% (+0.00%) compared to 1505c36
Details
Codecov Report
❌ Patch coverage is 97.43590% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.01%. Comparing base (1505c36) to head (cd4d55c).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ...c/solvers/smt2_incremental/convert_expr_to_smt.cpp | 97.43% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8774 +/- ##
========================================
Coverage 80.00% 80.01%
========================================
Files 1700 1700
Lines 188254 188336 +82
Branches 73 73
========================================
+ Hits 150615 150695 +80
- Misses 37639 37641 +2 ☔ 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