Contracts/DFCC: split conjunctions in loop invariants #8458
Codecov / codecov/project
failed
Sep 17, 2024 in 0s
78.35% (-0.03%) compared to f68cf8c
View this Pull Request on Codecov
78.35% (-0.03%) compared to f68cf8c
Details
Codecov Report
Attention: Patch coverage is 80.00000% with 4 lines in your changes missing coverage. Please review.
Project coverage is 78.35%. Comparing base (
f68cf8c) to head (eb5466d).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| .../contracts/dynamic-frames/dfcc_instrument_loop.cpp | 80.00% | 4 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8458 +/- ##
===========================================
- Coverage 78.37% 78.35% -0.03%
===========================================
Files 1726 1726
Lines 188663 188733 +70
Branches 18265 18268 +3
===========================================
+ Hits 147864 147874 +10
- Misses 40799 40859 +60 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading