use std::string_view for unicode.h functions#9100

kroening wants to merge 1 commit into

developdiffblue/cbmc:developfrom

string_view_unicodediffblue/cbmc:string_view_unicodeCopy head branch name to clipboard