Regression tests for the string-refine option#371

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

romainbrenguier:string-refine-regressionromainbrenguier/cbmc:string-refine-regressionCopy head branch name to clipboard