SMT2 parser: add abbreviated versions of the rounding modes #8539
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/project
failed
Dec 21, 2024 in 0s
78.53% (-0.05%) compared to d5cf498
View this Pull Request on Codecov
78.53% (-0.05%) compared to d5cf498
Details
Codecov Report
Attention: Patch coverage is 39.13043% with 14 lines in your changes missing coverage. Please review.
Project coverage is 78.53%. Comparing base (
d5cf498) to head (03ac764).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/solvers/smt2/smt2_parser.cpp | 39.13% | 14 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8539 +/- ##
===========================================
- Coverage 78.58% 78.53% -0.05%
===========================================
Files 1729 1729
Lines 199635 199772 +137
Branches 18311 18311
===========================================
+ Hits 156887 156896 +9
- Misses 42748 42876 +128 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading