Call check_proof_attribute for contract harnesses#3522
Merged
carolynzech merged 2 commits intomodel-checking:mainfrom carolynzech:contract-harness-errorsSep 18, 2024
+65-8
check_proof_attribute for contract harnesses#3522