Value set dereferencing: do not treat struct prefixes as equal
0.00% of diff hit (target 77.81%)
View this Pull Request on Codecov
0.00% of diff hit (target 77.81%)
Annotations
Check warning on line 79 in src/cprover/may_alias.cpp
codecov / codecov/patch
src/cprover/may_alias.cpp#L79
Added line #L79 was not covered by tests
Check warning on line 82 in src/cprover/may_alias.cpp
codecov / codecov/patch
src/cprover/may_alias.cpp#L81-L82
Added lines #L81 - L82 were not covered by tests
Check warning on line 93 in src/cprover/may_alias.cpp
codecov / codecov/patch
src/cprover/may_alias.cpp#L93
Added line #L93 was not covered by tests
Check warning on line 96 in src/cprover/may_alias.cpp
codecov / codecov/patch
src/cprover/may_alias.cpp#L96
Added line #L96 was not covered by tests
Check warning on line 120 in src/cprover/may_alias.cpp
codecov / codecov/patch
src/cprover/may_alias.cpp#L119-L120
Added lines #L119 - L120 were not covered by tests