CONTRACTS: separation checks using nondet demonic variable #8576
Codecov / codecov/project
failed
Jan 26, 2025 in 1s
78.85% (-0.07%) compared to 3d79560
View this Pull Request on Codecov
78.85% (-0.07%) compared to 3d79560
Details
Codecov Report
Attention: Patch coverage is 82.05128% with 7 lines in your changes missing coverage. Please review.
Project coverage is 78.85%. Comparing base (
3d79560) to head (d490670).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| .../contracts/dynamic-frames/dfcc_wrapper_program.cpp | 70.00% | 6 Missing |
| ...strument/contracts/dynamic-frames/dfcc_library.cpp | 93.75% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8576 +/- ##
===========================================
- Coverage 78.92% 78.85% -0.07%
===========================================
Files 1732 1732
Lines 198953 199119 +166
Branches 18560 18560
===========================================
+ Hits 157021 157023 +2
- Misses 41932 42096 +164 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading