use std::string_view in string_utils#9005

tautschnig merged 1 commit into

developdiffblue/cbmc:developfrom

string_utils_string_viewdiffblue/cbmc:string_utils_string_viewCopy head branch name to clipboard