Add support for multiple expected failures.#280

adpaco merged 3 commits into

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

bdalrhm:expect-failbdalrhm/rmc:expect-failCopy head branch name to clipboard