Skip to content

Fail verification if contract is vacuous - #3623

Closed
carolynzech wants to merge 10 commits into
model-checking:mainfrom
carolynzech:contract-vacuity
Closed

Fail verification if contract is vacuous#3623
carolynzech wants to merge 10 commits into
model-checking:mainfrom
carolynzech:contract-vacuity

docs

7770e3f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs