Move gotoc tests under run-make to their own test suite.#217

adpaco merged 5 commits into

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

bdalrhm:expectedbdalrhm/rmc:expectedCopy head branch name to clipboard