feat: check invariant lido.transfer #4079
Annotations
10 warnings
|
Run solhint:
contracts/0.4.24/lib/StakeLimitUtils.sol#L5
Found more than One contract per file. 3 contracts found!
|
|
Run solhint:
contracts/0.4.24/oracle/LegacyOracle.sol#L7
global import of path @aragon/os/contracts/apps/AragonApp.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/oracle/LegacyOracle.sol#L9
global import of path ../../common/interfaces/ILidoLocator.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/oracle/LegacyOracle.sol#L11
global import of path ../utils/Versioned.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/template/Imports.sol#L7
global import of path @aragon/id/contracts/FIFSResolvingRegistrar.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/template/LidoTemplate.sol#L7
global import of path @aragon/os/contracts/factory/APMRegistryFactory.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/template/LidoTemplate.sol#L8
global import of path @aragon/os/contracts/acl/ACL.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/template/LidoTemplate.sol#L9
global import of path @aragon/os/contracts/apm/Repo.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/template/LidoTemplate.sol#L10
global import of path @aragon/os/contracts/apm/APMRegistry.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Run solhint:
contracts/0.4.24/template/LidoTemplate.sol#L11
global import of path @aragon/os/contracts/ens/ENSSubdomainRegistrar.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
Loading