fix SMT-LIB2 nor
#8832
+4
−4
Open
fix SMT-LIB2 nor
#8832
Codecov / codecov/project
succeeded
Feb 9, 2026 in 0s
80.00% (+0.00%) compared to af0b511
View this Pull Request on Codecov
80.00% (+0.00%) compared to af0b511
Details
Codecov Report
❌ Patch coverage is 0% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 80.00%. Comparing base (af0b511) to head (d30e0af).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_conv.cpp | 0.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8832 +/- ##
========================================
Coverage 80.00% 80.00%
========================================
Files 1700 1700
Lines 188248 188248
Branches 73 73
========================================
Hits 150613 150613
Misses 37635 37635 ☔ 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