search

microsoft / verisol

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

Support function overloading #157

Open shuvendu-lahiri opened 5 years ago

shuvendu-lahiri commented 5 years ago

Solidity allows two functions with different signatures. 

contract A {
   foo(int x) view {}
   foo(address x) view {}
}