Flattening backend: further cases for casts to range types #8807
+32
−25
Codecov / codecov/project
failed
Dec 11, 2025 in 1s
80.00% (-0.01%) compared to 76dd20f
View this Pull Request on Codecov
80.00% (-0.01%) compared to 76dd20f
Details
Codecov Report
❌ Patch coverage is 0% with 23 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.00%. Comparing base (76dd20f) to head (93e6c3b).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/flattening/boolbv_typecast.cpp | 0.00% | 23 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8807 +/- ##
===========================================
- Coverage 80.00% 80.00% -0.01%
===========================================
Files 1700 1700
Lines 188249 188257 +8
Branches 73 73
===========================================
+ Hits 150615 150618 +3
- Misses 37634 37639 +5 ☔ 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