Cleanup RMC Flags#332

vecchiot-aws merged 14 commits into

model-checking:main-153-2021-07-15model-checking/kani:main-153-2021-07-15from

vecchiot-aws:cleanup-rmc-flagsvecchiot-aws/rmc:cleanup-rmc-flagsCopy head branch name to clipboard