Implemented __VERIFIER_assume hook#115

danielsn merged 1 commit into

model-checking:main-152-2021-05-10model-checking/kani:main-152-2021-05-10from

danielsn:assume-hookdanielsn/kani:assume-hookCopy head branch name to clipboard