Skip to content

src/solvers/strings/string_constraint_generator_valueof.cpp - pair<exprt, string_constraints> string_constraint_generatort::add_axioms_from_int_hex #8023

New issue
New issue
Open
Open
src/solvers/strings/string_constraint_generator_valueof.cpp - pair<exprt, string_constraints> string_constraint_generatort::add_axioms_from_int_hex#8023
Labels
cleanup
@NlightNFotis

Description

@NlightNFotis
NlightNFotis
opened on Nov 13, 2023

Remove method pair<exprt, string_constraints> string_constraint_generatort::add_axioms_from_int_hex marked DEPRECATED in src/solvers/strings/string_constraint_generator_valueof.cpp

Metadata

Metadata

Assignees

No one assigned

    Labels

    cleanup

    Type

    No type

    Projects

    Removed `DEPRECATED` code

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions