Skip unreachable instructions#370

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:skip-unreachable-instructionspeterschrammel/cbmc:skip-unreachable-instructionsCopy head branch name to clipboard