analyses: Replace uses of namespacet::follow
Codecov / codecov/patch
failed
Mar 22, 2024 in 0s
78.00% of diff hit (target 79.64%)
View this Pull Request on Codecov
78.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
Loading