Clarify usage of history variables in error messages
Codecov / codecov/project
failed
Oct 2, 2024 in 0s
78.26% (-0.13%) compared to 2212cd6
View this Pull Request on Codecov
78.26% (-0.13%) compared to 2212cd6
Details
Codecov Report
Attention: Patch coverage is 0% with 7 lines in your changes missing coverage. Please review.
Project coverage is 78.26%. Comparing base (
2212cd6) to head (83f5c48).
Report is 26 commits behind head on develop.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_conv.cpp | 0.00% | 7 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8456 +/- ##
===========================================
- Coverage 78.38% 78.26% -0.13%
===========================================
Files 1726 1727 +1
Lines 188616 190082 +1466
Branches 18295 18526 +231
===========================================
+ Hits 147855 148773 +918
- Misses 40761 41309 +548 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading