SMT2: disambiguate element-address functions by index type#9064
Open
tautschnig wants to merge 1 commit into
Open
SMT2: disambiguate element-address functions by index type#9064tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
Codecov / codecov/project
succeeded
Jun 19, 2026 in 1s
80.68% (-0.01%) compared to 321ba11, passed because coverage increased by 0% when compared to adjusted base (80.68%)
View this Pull Request on Codecov
80.68% (-0.01%) compared to 321ba11, passed because coverage increased by 0% when compared to adjusted base (80.68%)
Details
Codecov Report
❌ Patch coverage is 0% with 22 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.68%. Comparing base (321ba11) to head (4d2b0a7).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_conv.cpp | 0.00% | 22 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #9064 +/- ##
===========================================
- Coverage 80.68% 80.68% -0.01%
===========================================
Files 1714 1714
Lines 189501 189517 +16
Branches 73 73
===========================================
+ Hits 152902 152912 +10
- Misses 36599 36605 +6 ☔ 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