Skip to content

goto-instrument: Replace uses of namespacet::follow

Codecov / codecov/patch failed Mar 22, 2024 in 0s

59.37% of diff hit (target 79.64%)

View this Pull Request on Codecov

59.37% of diff hit (target 79.64%)

Annotations

Check warning on line 1391 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1391 

Added line #L1391 was not covered by tests

Check warning on line 1451 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1451 

Added line #L1451 was not covered by tests

Check warning on line 1508 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1508 

Added line #L1508 was not covered by tests

Check warning on line 1538 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1538 

Added line #L1538 was not covered by tests

Check warning on line 1540 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1540 

Added line #L1540 was not covered by tests

Check warning on line 1545 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1542-L1545 

Added lines #L1542 - L1545 were not covered by tests

Check warning on line 1575 in src/goto-instrument/dump_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/dump_c.cpp#L1575 

Added line #L1575 was not covered by tests

Check warning on line 1393 in src/goto-instrument/goto_program2code.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/goto_program2code.cpp#L1391-L1393 

Added lines #L1391 - L1393 were not covered by tests
View more details on Codecov