search

microsoft / verisol

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

VeriSol ignores public view or pure methods in harness #151

Closed shuvendu-lahiri closed 5 years ago