Delete string_constantt::get_value and string_constantt::set_value functions#8003
Merged
kroening merged 1 commit intodiffblue:developfrom Jun 12, 2024
string_constantt::get_value and string_constantt::set_value functions#8003
