Skip to content

goto-programs: Replace uses of namespacet::follow

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

67.74% of diff hit (target 79.64%)

View this Pull Request on Codecov

67.74% of diff hit (target 79.64%)

Annotations

Check warning on line 42 in src/goto-programs/destructor.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/destructor.cpp#L42 

Added line #L42 was not covered by tests

Check warning on line 141 in src/goto-programs/graphml_witness.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/graphml_witness.cpp#L135-L141 

Added lines #L135 - L141 were not covered by tests

Check warning on line 427 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L427 

Added line #L427 was not covered by tests

Check warning on line 431 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L430-L431 

Added lines #L430 - L431 were not covered by tests

Check warning on line 463 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L463 

Added line #L463 was not covered by tests

Check warning on line 466 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L465-L466 

Added lines #L465 - L466 were not covered by tests

Check warning on line 484 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L484 

Added line #L484 was not covered by tests

Check warning on line 487 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L487 

Added line #L487 was not covered by tests

Check warning on line 533 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L532-L533 

Added lines #L532 - L533 were not covered by tests

Check warning on line 552 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L551-L552 

Added lines #L551 - L552 were not covered by tests

Check warning on line 1045 in src/goto-programs/interpreter_evaluate.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter_evaluate.cpp#L1045 

Added line #L1045 was not covered by tests

Check warning on line 367 in src/goto-programs/json_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/json_expr.cpp#L367 

Added line #L367 was not covered by tests

Check warning on line 152 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L151-L152 

Added lines #L151 - L152 were not covered by tests

Check warning on line 159 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L159 

Added line #L159 was not covered by tests

Check warning on line 166 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L165-L166 

Added lines #L165 - L166 were not covered by tests

Check warning on line 359 in src/goto-programs/string_abstraction.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/string_abstraction.cpp#L359 

Added line #L359 was not covered by tests

Check warning on line 363 in src/goto-programs/string_abstraction.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/string_abstraction.cpp#L363 

Added line #L363 was not covered by tests

Check warning on line 259 in src/goto-programs/xml_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/xml_expr.cpp#L259 

Added line #L259 was not covered by tests
View more details on Codecov