Corrections on PR 675#688

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

allredj:testgen-corrections-for-675allredj/cbmc:testgen-corrections-for-675Copy head branch name to clipboard