Refactor string_constantt::get_value and string_constantt::set_value call sites.#7999
Merged
kroening merged 1 commit intodiffblue:developfrom Dec 15, 2023
string_constantt::get_value and string_constantt::set_value call sites.#7999