SMT2: support onehot and onehot0
#8524
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/project
failed
Dec 2, 2024 in 0s
78.46% (-0.42%) compared to c902db3
View this Pull Request on Codecov
78.46% (-0.42%) compared to c902db3
Details
Codecov Report
Attention: Patch coverage is 77.08333% with 22 lines in your changes missing coverage. Please review.
Project coverage is 78.46%. Comparing base (
c902db3) to head (7e39d04).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/util/bitvector_expr.h | 50.00% | 8 Missing |
| src/util/bitvector_expr.cpp | 73.91% | 6 Missing |
| src/solvers/smt2/smt2_conv.cpp | 40.00% | 3 Missing |
| unit/util/bitvector_expr.cpp | 93.75% | 3 Missing |
| src/solvers/flattening/boolbv.cpp | 50.00% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8524 +/- ##
===========================================
- Coverage 78.88% 78.46% -0.42%
===========================================
Files 1728 1728
Lines 198669 199820 +1151
Branches 18393 18356 -37
===========================================
+ Hits 156719 156792 +73
- Misses 41950 43028 +1078 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading