Move cargo tests to compiletest.#198

danielsn merged 5 commits into

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

bdalrhm:cargobdalrhm/rmc:cargoCopy head branch name to clipboard