search

microsoft / verisol

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

Harness creation may fail with identical variable names in two public function #189

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago 
pragma ^0.5.10;

contract A { 
    function Foo(int a){}
    function Bar(string a){}
}