unreachable_instructions now passes down function identifier [blocks: #3126]#3840

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:function-unreachable_instructionstautschnig/cbmc:function-unreachable_instructionsCopy head branch name to clipboard