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

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

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