This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
Fix issues around Z3 sorts and floating-point flags. #1253
Merged
Codecov / codecov/project
succeeded
Nov 18, 2023 in 0s
74% (-1%) compared to a23ff7e
View this Pull Request on Codecov
74% (-1%) compared to a23ff7e
Details
Codecov Report
Attention: 5 lines in your changes are missing coverage. Please review.
Comparison is base (
a23ff7e) 74% compared to head (e49cedd) 74%.
| Files | Patch % | Lines |
|---|---|---|
| checker/src/z3_solver.rs | 37% | 5 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #1253 +/- ##
=====================================
- Coverage 74% 74% -1%
=====================================
Files 23 23
Lines 16795 16800 +5
=====================================
- Hits 12592 12587 -5
- Misses 4203 4213 +10 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading