Add --mir-linker flag and wire it up to the compiler#1652
Merged
celinval merged 6 commits intomodel-checking:mainfrom celinval:issue-1617-linker-driverSep 13, 2022
--mir-linker flag and wire it up to the compiler#1652