search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Locals in Modifier #248

Closed stephensj2 closed 4 years ago

stephensj2 commented 4 years ago

Currently VeriSol does not support defining locals in modifiers. There are some contracts that rely on defining a local in the modifier, such as the Re-entrancy guard contract given here:

ReentrancyGuard.txt

shuvendu-lahiri commented 4 years ago

Example is ModifierLocal.sol