SMT2: typecasts to the source type #8828
+7
−0
Merged
Codecov / codecov/project
succeeded
Jan 21, 2026 in 1s
80.00% (+0.00%) compared to 05c2649
View this Pull Request on Codecov
80.00% (+0.00%) compared to 05c2649
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.00%. Comparing base (05c2649) to head (a6997dd).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8828 +/- ##
========================================
Coverage 80.00% 80.00%
========================================
Files 1700 1700
Lines 188332 188335 +3
Branches 73 73
========================================
+ Hits 150679 150685 +6
+ Misses 37653 37650 -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