Skip to content

Call check_proof_attribute for contract harnesses#3522

Merged
carolynzech merged 2 commits into
model-checking:mainfrom
carolynzech:contract-harness-errors
Sep 18, 2024
Merged

Call check_proof_attribute for contract harnesses#3522
carolynzech merged 2 commits into
model-checking:mainfrom
carolynzech:contract-harness-errors

Merge branch 'main' into contract-harness-errors

bb65131
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs