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
Open

Remove dynamic_cast from hardness collection code paths #8423

wants to merge 2 commits into from

Commits on Aug 22, 2024

  1. Cleanup symex_target_equationt API 

    Remove methods that were never used (and one that wasn't even
implemented), mark `protected` what doesn't need to be part of the
public API, and remove an unnecessary case of a default parameter.
    @tautschnig
    tautschnig committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    7553763 View commit details
    Browse the repository at this point in the history

  2. Remove dynamic_cast from hardness collection code paths 

    Use a `shared_ptr` to retain co-ownership of the hardness collector in
`solver_factoryt::solvert` and adjust the `symex_target_equationt` API
to `consume a solver_hardnesst`.
    @tautschnig
    tautschnig committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    44fd5e8 View commit details
    Browse the repository at this point in the history