Skip to content

Remove dynamic_cast from counterexample beautification code path

Codecov / codecov/patch failed Aug 21, 2024 in 0s

57.14% of diff hit (target 77.93%)

View this Pull Request on Codecov

57.14% of diff hit (target 77.93%)

Annotations

Check warning on line 123 in src/goto-checker/goto_symex_property_decider.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/goto_symex_property_decider.cpp#L123 

Added line #L123 was not covered by tests

Check warning on line 125 in src/goto-checker/goto_symex_property_decider.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/goto_symex_property_decider.cpp#L125 

Added line #L125 was not covered by tests

Check warning on line 116 in src/goto-checker/multi_path_symex_checker.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/multi_path_symex_checker.cpp#L116 

Added line #L116 was not covered by tests

Check warning on line 210 in src/goto-checker/single_loop_incremental_symex_checker.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/single_loop_incremental_symex_checker.cpp#L210 

Added line #L210 was not covered by tests

Check warning on line 147 in src/goto-checker/single_path_symex_checker.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/single_path_symex_checker.cpp#L147 

Added line #L147 was not covered by tests

Check warning on line 68 in src/goto-checker/solver_factory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/solver_factory.cpp#L68 

Added line #L68 was not covered by tests

Check warning on line 78 in src/goto-checker/solver_factory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/solver_factory.cpp#L77-L78 

Added lines #L77 - L78 were not covered by tests

Check warning on line 81 in src/goto-checker/solver_factory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/solver_factory.cpp#L81 

Added line #L81 was not covered by tests

Check warning on line 85 in src/goto-checker/solver_factory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/solver_factory.cpp#L85 

Added line #L85 was not covered by tests

Check warning on line 88 in src/goto-checker/solver_factory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-checker/solver_factory.cpp#L87-L88 

Added lines #L87 - L88 were not covered by tests
View more details on Codecov