[Breaking change] Make kani::check private#3614

celinval merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3561-rm-checkcelinval/kani-dev:issue-3561-rm-checkCopy head branch name to clipboard