SMT2: tolerate non-constant array indices when parsing array models#9063
Open
tautschnig wants to merge 1 commit into
Open
SMT2: tolerate non-constant array indices when parsing array models#9063tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
Codecov / codecov/project
succeeded
Jun 19, 2026 in 0s
80.68% (+0.00%) compared to 321ba11
View this Pull Request on Codecov
80.68% (+0.00%) compared to 321ba11
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.68%. Comparing base (321ba11) to head (4cb733b).
Additional details and impacted files
@@ Coverage Diff @@
## develop #9063 +/- ##
========================================
Coverage 80.68% 80.68%
========================================
Files 1714 1714
Lines 189501 189502 +1
Branches 73 73
========================================
+ Hits 152902 152905 +3
+ Misses 36599 36597 -2 ☔ 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