Run strings-smoke-tests#2556

peterschrammel merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:run-string-smoke-testspeterschrammel/cbmc:run-string-smoke-testsCopy head branch name to clipboard