Fix --string-non-empty option#2909

romainbrenguier merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/string-non-emptyromainbrenguier/cbmc:bugfix/string-non-emptyCopy head branch name to clipboard