SMT2: fix for encoding of range-typed symbols #8969
Merged
Codecov / codecov/project
succeeded
May 6, 2026 in 1s
80.55% (+0.00%) compared to 30ca13c
View this Pull Request on Codecov
80.55% (+0.00%) compared to 30ca13c
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.55%. Comparing base (30ca13c) to head (b9ef902).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8969 +/- ##
========================================
Coverage 80.55% 80.55%
========================================
Files 1706 1707 +1
Lines 188982 189012 +30
Branches 73 73
========================================
+ Hits 152227 152254 +27
- Misses 36755 36758 +3 ☔ 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