SMT2: tolerate non-constant array indices when parsing array models - #9063
Merged
Codecov / codecov/project
succeeded
Jul 28, 2026 in 0s
80.83% (+0.00%) compared to f71fdad
View this Pull Request on Codecov
80.83% (+0.00%) compared to f71fdad
Details
Codecov Report
❌ Patch coverage is 96.87500% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 80.83%. Comparing base (f71fdad) to head (743eb66).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| unit/solvers/smt2/smt2_conv.cpp | 96.77% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #9063 +/- ##
========================================
Coverage 80.83% 80.83%
========================================
Files 1715 1715
Lines 189948 189989 +41
Branches 73 73
========================================
+ Hits 153540 153577 +37
- Misses 36408 36412 +4 ☔ View full report in Codecov by Harness.
📢 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