SMT2 backend: move satisfying assignment from smt2_convt to smt2_dect#9103
Open
kroening wants to merge 1 commit into
Open
SMT2 backend: move satisfying assignment from smt2_convt to smt2_dect#9103kroening wants to merge 1 commit into
smt2_convt to smt2_dect#9103kroening wants to merge 1 commit into
Codecov / codecov/project
succeeded
Jul 6, 2026 in 0s
80.77% (+0.00%) compared to 1e835df
View this Pull Request on Codecov
80.77% (+0.00%) compared to 1e835df
Details
Codecov Report
❌ Patch coverage is 61.81818% with 21 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.77%. Comparing base (1e835df) to head (d8c584b).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_dec.cpp | 69.38% | 15 Missing |
| src/solvers/smt2/smt2_conv.h | 0.00% | 6 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #9103 +/- ##
========================================
Coverage 80.77% 80.77%
========================================
Files 1712 1712
Lines 189814 189817 +3
Branches 73 73
========================================
+ Hits 153324 153328 +4
+ Misses 36490 36489 -1 ☔ 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