goto-symex: assumed pointer equalities must update value set #8494
+54
−5
Codecov / codecov/project
failed
Nov 5, 2024 in 0s
78.89% (-0.01%) compared to 018c61c
View this Pull Request on Codecov
78.89% (-0.01%) compared to 018c61c
Details
Codecov Report
Attention: Patch coverage is 64.70588% with 6 lines in your changes missing coverage. Please review.
Project coverage is 78.89%. Comparing base (
018c61c) to head (2a27074).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/goto-symex/goto_state.cpp | 64.70% | 6 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #8494 +/- ##
===========================================
- Coverage 78.90% 78.89% -0.01%
===========================================
Files 1727 1727
Lines 198425 198452 +27
Branches 18523 18499 -24
===========================================
+ Hits 156561 156568 +7
- Misses 41864 41884 +20 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading