microsoft / verisol

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

Event lookup does not look at base contracts #154

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

The following crashes:

pragma solidity ^0.5.0;
contract A {
    event EE();
}

contract B is A {
   function Foo() {
       emit EE();
   }
}