Disable regression test failing in CI but not locally#133

danielsn merged 1 commit intomodel-checking:main-152-2021-05-18model-checking/kani:main-152-2021-05-18from

adpaco-aws:disable-macos-fail-testadpaco-aws/rmc:disable-macos-fail-testCopy head branch name to clipboard