Add an __VERIFIER_expected_fail() intrinsic, and use it in a test#229

adpaco merged 3 commits into

model-checking:main-152-2021-06-17model-checking/kani:main-152-2021-06-17from

danielsn:expect-faildanielsn/kani:expect-failCopy head branch name to clipboard