Cleanup rmc flags#365

vecchiot-aws merged 14 commits into

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

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