SMT2 back-end: report error when invoking solver fails #8378
Codecov / codecov/project
succeeded
Jul 12, 2024 in 1s
78.34% (-0.01%) compared to 629dbcd, passed because coverage increased by -0.01% when compared to adjusted base (78.35%)
View this Pull Request on Codecov
78.34% (-0.01%) compared to 629dbcd, passed because coverage increased by -0.01% when compared to adjusted base (78.35%)
Details
Codecov Report
Attention: Patch coverage is 33.33333% with 4 lines in your changes missing coverage. Please review.
Project coverage is 78.34%. Comparing base (
629dbcd) to head (7fd93be).
| Files | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_dec.cpp | 33.33% | 4 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8378 +/- ##
===========================================
- Coverage 78.35% 78.34% -0.01%
===========================================
Files 1726 1726
Lines 188424 188443 +19
Branches 18248 18248
===========================================
- Hits 147631 147630 -1
- Misses 40793 40813 +20 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading