Support for requires and ensures clauses#2555

feliperodri merged 22 commits into

model-checking:features/contractsmodel-checking/kani:features/contractsfrom

JustusAdam:simple-requires-ensuresJustusAdam/kani:simple-requires-ensuresCopy head branch name to clipboard