Fix array_exprt handling in incremental SMT2 procedure #8778
Codecov / codecov/project
succeeded
Nov 30, 2025 in 0s
79.93% (+0.00%) compared to 4fe3ade
View this Pull Request on Codecov
79.93% (+0.00%) compared to 4fe3ade
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 79.93%. Comparing base (4fe3ade) to head (7365b9a).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8778 +/- ##
========================================
Coverage 79.93% 79.93%
========================================
Files 1698 1698
Lines 187698 187699 +1
Branches 73 73
========================================
+ Hits 150034 150035 +1
Misses 37664 37664 ☔ 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