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

Jump to bottom

Remove dynamic_cast from hardness collection code paths #8423

Open
wants to merge 2 commits into
base: develop
Choose a base branch
from

Remove dynamic_cast from hardness collection code paths

44fd5e8
Select commit
Loading
Failed to load commit list.
Open

Remove dynamic_cast from hardness collection code paths #8423

Remove dynamic_cast from hardness collection code paths
44fd5e8
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Aug 22, 2024 in 0s

73.62% of diff hit (target 77.86%)

View this Pull Request on Codecov

73.62% of diff hit (target 77.86%)

Annotations

Check warning on line 374 in src/goto-checker/bmc_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/bmc_util.cpp#L374 

Added line #L374 was not covered by tests

Check warning on line 376 in src/goto-checker/bmc_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/bmc_util.cpp#L376 

Added line #L376 was not covered by tests

Check warning on line 66 in src/goto-instrument/accelerate/scratch_program.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/accelerate/scratch_program.cpp#L66 

Added line #L66 was not covered by tests

Check warning on line 26 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L26 

Added line #L26 was not covered by tests

Check warning on line 342 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L342 

Added line #L342 was not covered by tests

Check warning on line 360 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L360 

Added line #L360 was not covered by tests

Check warning on line 376 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L376 

Added line #L376 was not covered by tests

Check warning on line 399 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L399 

Added line #L399 was not covered by tests

Check warning on line 421 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L421 

Added line #L421 was not covered by tests

Check warning on line 447 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L447 

Added line #L447 was not covered by tests

Check warning on line 476 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L476 

Added line #L476 was not covered by tests

Check warning on line 504 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L504 

Added line #L504 was not covered by tests

Check warning on line 603 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L603 

Added line #L603 was not covered by tests

Check warning on line 621 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L621 

Added line #L621 was not covered by tests

Check warning on line 633 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L633 

Added line #L633 was not covered by tests

Check warning on line 641 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L641 

Added line #L641 was not covered by tests

Check warning on line 670 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L670 

Added line #L670 was not covered by tests

Check warning on line 682 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L682 

Added line #L682 was not covered by tests

Check warning on line 710 in src/goto-symex/symex_target_equation.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.cpp#L710 

Added line #L710 was not covered by tests

Check warning on line 271 in src/goto-symex/symex_target_equation.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.h#L271 

Added line #L271 was not covered by tests

Check warning on line 274 in src/goto-symex/symex_target_equation.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.h#L273-L274 

Added lines #L273 - L274 were not covered by tests

Check warning on line 299 in src/goto-symex/symex_target_equation.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.h#L299 

Added line #L299 was not covered by tests

Check warning on line 303 in src/goto-symex/symex_target_equation.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/symex_target_equation.h#L303 

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