Dispatch clause-context calls to the check target to the original body - #4709

Dispatch clause-context calls to the check target to the original body#4709

feliperodri merged 6 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:contract-clause-dispatchtautschnig/kani:contract-clause-dispatchCopy head branch name to clipboard