Make sure free symbols are declared in SMT2_conv after quantifier rew…
Codecov / codecov/project
succeeded
Jul 5, 2024 in 0s
78.33% (+0.04%) compared to 582aa69
View this Pull Request on Codecov
78.33% (+0.04%) compared to 582aa69
Details
Codecov Report
Attention: Patch coverage is 84.61538% with 2 lines in your changes missing coverage. Please review.
Project coverage is 78.33%. Comparing base (
582aa69) to head (ebbed91).
Report is 4 commits behind head on develop.
| Files | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_conv.cpp | 84.61% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8361 +/- ##
===========================================
+ Coverage 78.28% 78.33% +0.04%
===========================================
Files 1726 1726
Lines 188577 188486 -91
Branches 18443 18246 -197
===========================================
+ Hits 147629 147646 +17
+ Misses 40948 40840 -108 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading