goto-symex: assumed pointer equalities must update value set
Codecov / codecov/patch
failed
Nov 5, 2024 in 0s
64.70% of diff hit (target 78.90%)
View this Pull Request on Codecov
64.70% of diff hit (target 78.90%)
Annotations
Check warning on line 107 in src/goto-symex/goto_state.cpp
codecov / codecov/patch
src/goto-symex/goto_state.cpp#L107
Added line #L107 was not covered by tests
Check warning on line 123 in src/goto-symex/goto_state.cpp
codecov / codecov/patch
src/goto-symex/goto_state.cpp#L123
Added line #L123 was not covered by tests
Check warning on line 132 in src/goto-symex/goto_state.cpp
codecov / codecov/patch
src/goto-symex/goto_state.cpp#L129-L132
Added lines #L129 - L132 were not covered by tests
Loading