C lib flag#260

adpaco merged 6 commits into

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

vecchiot-aws:c-lib-flagvecchiot-aws/rmc:c-lib-flagCopy head branch name to clipboard