use std::string_view for safe_string2int#9009

kroening wants to merge 1 commit into

developdiffblue/cbmc:developfrom

safe_string2intdiffblue/cbmc:safe_string2intCopy head branch name to clipboard