Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

goto-programs: Replace uses of namespacet::follow #8230

Merged
merged 2 commits into from
Apr 18, 2024

goto-programs: Replace uses of namespacet::follow

60dc466
Select commit
Loading
Failed to load commit list.
Merged

goto-programs: Replace uses of namespacet::follow #8230

goto-programs: Replace uses of namespacet::follow
60dc466
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Mar 22, 2024 in 0s

73.07% of diff hit (target 79.64%)

View this Pull Request on Codecov

73.07% 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 139 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-L139 

Added lines #L135 - L139 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 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