analyses: Replace uses of namespacet::follow
76.00% of diff hit (target 79.64%)
View this Pull Request on Codecov
76.00% of diff hit (target 79.64%)
Annotations
Check warning on line 239 in src/analyses/custom_bitvector_analysis.cpp
codecov / codecov/patch
src/analyses/custom_bitvector_analysis.cpp#L236-L239
Added lines #L236 - L239 were not covered by tests
Check warning on line 138 in src/analyses/invariant_propagation.cpp
codecov / codecov/patch
src/analyses/invariant_propagation.cpp#L135-L138
Added lines #L135 - L138 were not covered by tests
Check warning on line 479 in src/analyses/invariant_set.cpp
codecov / codecov/patch
src/analyses/invariant_set.cpp#L477-L479
Added lines #L477 - L479 were not covered by tests
Check warning on line 214 in src/analyses/variable-sensitivity/full_struct_abstract_object.cpp
codecov / codecov/patch
src/analyses/variable-sensitivity/full_struct_abstract_object.cpp#L214
Added line #L214 was not covered by tests