Fix issue #158 (missing test cases)#819

peterschrammel merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

allredj:test-gen-string-fix-158-2allredj/cbmc:test-gen-string-fix-158-2Copy head branch name to clipboard