Enable MacOS support for GenMC mode.#4571

Patrick-6 wants to merge 1 commit intorust-lang:masterrust-lang/miri:masterfrom

Patrick-6:miri-genmc-macosPatrick-6/miri:miri-genmc-macosCopy head branch name to clipboard