Move make_with_expr to update_exprt
Codecov / codecov/project
succeeded
Sep 13, 2024 in 0s
78.38% (-0.01%) compared to dc8793c, passed because coverage increased by -0.01% when compared to adjusted base (78.39%)
View this Pull Request on Codecov
78.38% (-0.01%) compared to dc8793c, passed because coverage increased by -0.01% when compared to adjusted base (78.39%)
Details
Codecov Report
Attention: Patch coverage is 0% with 15 lines in your changes missing coverage. Please review.
Project coverage is 78.38%. Comparing base (
dc8793c) to head (1aa2d83).
Report is 3 commits behind head on develop.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/util/std_expr.cpp | 0.00% | 14 Missing |
| src/util/expr_util.cpp | 0.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8448 +/- ##
===========================================
- Coverage 78.39% 78.38% -0.01%
===========================================
Files 1726 1726
Lines 188614 188625 +11
Branches 18342 18322 -20
===========================================
Hits 147855 147855
- Misses 40759 40770 +11 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading