Model Revert Logic - Githubissues

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed kferles closed 5 years ago

kferles commented 5 years ago

Emits explicit revert logic.
Assumes that all calls propagate assumptions and that there is no reentrancy.
Emits revert logic only for require statements and explicit revert statements.
This feature can be enabled with the "ModelReverts" flag (which is false by default).

msftclas commented 5 years ago

All CLA requirements met.