Fix MIR dump to emit one MIR per-harness - #2556

Fix MIR dump to emit one MIR per-harness#2556

celinval merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-dump-mircelinval/kani-dev:issue-xxxx-dump-mirCopy head branch name to clipboard