Call check_proof_attribute for contract harnesses#3522

carolynzech merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

carolynzech:contract-harness-errorscarolynzech/kani:contract-harness-errorsCopy head branch name to clipboard