Pointer analysis: Replace uses of namespacet::follow
85.00% of diff hit (target 79.64%)
View this Pull Request on Codecov
85.00% of diff hit (target 79.64%)
Annotations
Check warning on line 883 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L883
Added line #L883 was not covered by tests
Check warning on line 886 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L886
Added line #L886 was not covered by tests
Check warning on line 1442 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L1440-L1442
Added lines #L1440 - L1442 were not covered by tests
Check warning on line 1445 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L1445
Added line #L1445 was not covered by tests
Check warning on line 1551 in src/pointer-analysis/value_set.cpp
codecov / codecov/patch
src/pointer-analysis/value_set.cpp#L1551
Added line #L1551 was not covered by tests
Check warning on line 195 in src/pointer-analysis/value_set_analysis_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_analysis_fi.cpp#L195
Added line #L195 was not covered by tests
Check warning on line 197 in src/pointer-analysis/value_set_analysis_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_analysis_fi.cpp#L197
Added line #L197 was not covered by tests
Check warning on line 1099 in src/pointer-analysis/value_set_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_fi.cpp#L1099
Added line #L1099 was not covered by tests
Check warning on line 1111 in src/pointer-analysis/value_set_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_fi.cpp#L1111
Added line #L1111 was not covered by tests
Check warning on line 1129 in src/pointer-analysis/value_set_fi.cpp
codecov / codecov/patch
src/pointer-analysis/value_set_fi.cpp#L1129
Added line #L1129 was not covered by tests