crytic/slither

Constants implementing interface getters are marked as `UPPER_CASE_WITH_UNDERSCORES`

Open

#930 opened on 2021年8月27日

GitHub で見る
 (1 comment) (0 reactions) (0 assignees)Python (886 forks)batch import
enhancementgood first issuehelp wanted

Repository metrics

Stars
 (4,769 stars)
PR merge metrics
 (平均マージ 54d 9h) (30d で 2 merged PRs)

説明

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.

コントリビューターガイド