fix issue 1139 #1155
fix issue 1139 #1155
69.38% of diff hit (target 0.00%)
View this Pull Request on Codecov
69.38% of diff hit (target 0.00%)
Annotations
Check warning on line 112 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L112
Added line #L112 was not covered by tests
Check warning on line 120 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L115-L120
Added lines #L115 - L120 were not covered by tests
Check warning on line 132 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L132
Added line #L132 was not covered by tests
Check warning on line 141 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L141
Added line #L141 was not covered by tests
Check warning on line 146 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L146
Added line #L146 was not covered by tests
Check warning on line 149 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L149
Added line #L149 was not covered by tests
Check warning on line 152 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L151-L152
Added lines #L151 - L152 were not covered by tests
Check warning on line 155 in svf/lib/WPA/FlowSensitive.cpp
codecov / codecov/patch
svf/lib/WPA/FlowSensitive.cpp#L154-L155
Added lines #L154 - L155 were not covered by tests