Skip to content

DRAFT: Control Flow Retrace feature #8636

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

Draft
wants to merge 3 commits into
base: develop
Choose a base branch
from

Retracing test simple goto

e99e11d
Select commit
Loading
Failed to load commit list.
Draft

DRAFT: Control Flow Retrace feature #8636

Retracing test simple goto
e99e11d
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded May 11, 2025 in 0s

82.44% of diff hit (target 80.37%)

View this Pull Request on Codecov

82.44% of diff hit (target 80.37%)

Annotations

Check warning on line 182 in src/cbmc/cbmc_parse_options.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/cbmc/cbmc_parse_options.cpp#L180-L182 

Added lines #L180 - L182 were not covered by tests

Check warning on line 673 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L673 

Added line #L673 was not covered by tests

Check warning on line 676 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L676 

Added line #L676 was not covered by tests

Check warning on line 679 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L679 

Added line #L679 was not covered by tests

Check warning on line 689 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L689 

Added line #L689 was not covered by tests

Check warning on line 692 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L692 

Added line #L692 was not covered by tests

Check warning on line 695 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L695 

Added line #L695 was not covered by tests

Check warning on line 721 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L718-L721 

Added lines #L718 - L721 were not covered by tests

Check warning on line 728 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L725-L728 

Added lines #L725 - L728 were not covered by tests

Check warning on line 755 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L755 

Added line #L755 was not covered by tests

Check warning on line 770 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L770 

Added line #L770 was not covered by tests

Check warning on line 777 in src/goto-symex/symex_goto.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_goto.cpp#L774-L777 

Added lines #L774 - L777 were not covered by tests
View more details on Codecov