Add shadow memory get_field function #7840
Merged
Codecov / codecov/project
failed
Aug 10, 2023 in 0s
78.19% (-0.63%) compared to 1e8a703
View this Pull Request on Codecov
78.19% (-0.63%) compared to 1e8a703
Details
Codecov Report
Patch coverage: 60.06% and project coverage change: -0.63%
Comparison is base (
1e8a703) 78.81% compared to head (74f6669) 78.19%.
Additional details and impacted files
@@ Coverage Diff @@
## develop #7840 +/- ##
===========================================
- Coverage 78.81% 78.19% -0.63%
===========================================
Files 1698 1698
Lines 194821 195117 +296
===========================================
- Hits 153543 152566 -977
- Misses 41278 42551 +1273 | Files Changed | Coverage Δ | |
|---|---|---|
| src/goto-symex/shadow_memory_util.cpp | 61.25% <57.02%> (-35.30%) |
⬇️ |
| src/goto-symex/shadow_memory.cpp | 90.90% <73.21%> (+15.21%) |
⬆️ |
☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading