crytic/slither

Constants implementing interface getters are marked as `UPPER_CASE_WITH_UNDERSCORES`

Open

#930 建立於 2021年8月27日

在 GitHub 查看
 (1 留言) (0 反應) (0 負責人)Python (886 fork)batch import
enhancementgood first issuehelp wanted

倉庫指標

Star
 (4,769 star)
PR 合併指標
 (平均合併 54天 9小時) (30 天內合併 2 個 PR)

描述

interface I {
    function version() external view returns (uint256);
}

contract C is I {
    uint256 public constant override version = 1;
}

Due to the override specifier, the naming schema should not be checked at C.version.

貢獻者指南