Skip to content

src/solvers/strings/string_constraint_generator_testing.cpp - pair<exprt, string_constraints> string_constraint_generatort::add_axioms_for_is_empty #8019

New issue
New issue
Open
Listed in
#7998
Open
src/solvers/strings/string_constraint_generator_testing.cpp - pair<exprt, string_constraints> string_constraint_generatort::add_axioms_for_is_empty#8019
Listed in
#7998
Labels
cleanup
@NlightNFotis

Description

@NlightNFotis
NlightNFotis
opened on Nov 13, 2023 · edited by NlightNFotis

Remove method pair<exprt, string_constraints> string_constraint_generatort::add_axioms_for_is_empty marked DEPRECATED from src/solvers/strings/string_constraint_generator_testing.cpp

Activity

NlightNFotis
mentioned this on Nov 13, 2023
NlightNFotis
added
cleanup
on Nov 13, 2023
NlightNFotis
added this to Removed `DEPRECATED` codeon Nov 13, 2023
NlightNFotis
moved this to Todo in Removed `DEPRECATED` codeon Nov 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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

        Participants

        @NlightNFotis

        Issue actions
          src/solvers/strings/string_constraint_generator_testing.cpp - `pair<exprt, string_constraints> string_constraint_generatort::add_axioms_for_is_empty` · Issue #8019 · diffblue/cbmc