search

SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
GNU General Public License v3.0
50 stars 14 forks source link

[0.7] Base contract member not visible in function annotation #159

Closed hajduakos closed 3 years ago

hajduakos commented 4 years ago

specs/ModifiesInheritance.sol gives

> Annotation:1:1: solc-verify error: Member "x" not found or not visible after argument-dependent lookup in type(contract C).
> C.x
> ^-^
> test/solc-verify/specs/ModifiesInheritance.sol:14:5: solc-verify error: Error while parsing annotation.
>     function correct1() public { f(); }
>     ^---------------------------------^

Where x is the member of base contract