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.

贡献者指南