Do not use as const with Z3 due to soundness issue
#9011
+146
−22
Codecov / codecov/project
succeeded
Jun 2, 2026 in 1s
80.60% (+0.00%) compared to 01ebe42
View this Pull Request on Codecov
80.60% (+0.00%) compared to 01ebe42
Details
Codecov Report
❌ Patch coverage is 82.75862% with 5 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.60%. Comparing base (01ebe42) to head (f613271).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_conv.cpp | 82.75% | 5 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #9011 +/- ##
========================================
Coverage 80.59% 80.60%
========================================
Files 1711 1711
Lines 189454 189470 +16
Branches 73 73
========================================
+ Hits 152697 152716 +19
+ Misses 36757 36754 -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