Emit dead goto-instructions on MIR StatementDead#3063

karkhaz merged 7 commits into

model-checking:mainmodel-checking/kani:mainfrom

karkhaz:kk-emit-dead-statementkarkhaz/kani:kk-emit-dead-statementCopy head branch name to clipboard