SMT2 tokenizer now has full tokent class
#9003
Open
Codecov / codecov/project
succeeded
May 7, 2026 in 0s
80.57% (+0.01%) compared to 166a7d4
View this Pull Request on Codecov
80.57% (+0.01%) compared to 166a7d4
Details
Codecov Report
❌ Patch coverage is 98.15951% with 6 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.57%. Comparing base (166a7d4) to head (252c6e7).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_parser.cpp | 97.52% | 3 Missing |
| src/solvers/smt2/smt2_tokenizer.cpp | 94.82% | 3 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #9003 +/- ##
===========================================
+ Coverage 80.55% 80.57% +0.01%
===========================================
Files 1707 1708 +1
Lines 189016 189194 +178
Branches 73 73
===========================================
+ Hits 152261 152439 +178
Misses 36755 36755 ☔ 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