Merge pull request #10 from rhinestonewtf/refactor/use-debug-trace #42
Annotations
10 warnings
|
Lint the code:
src/Simulator.sol#L10
imported name IStakeManager is not used
|
|
Lint the code:
src/Simulator.sol#L20
imported name expectRevert is not used
|
|
Lint the code:
src/Simulator.sol#L121
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the code:
src/Simulator.sol#L149
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the code:
src/Simulator.sol#L176
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the code:
src/SpecsParser.sol#L5
imported name IEntryPoint is not used
|
|
Lint the code:
src/SpecsParser.sol#L6
imported name IEntryPointSimulations is not used
|
|
Lint the code:
src/SpecsParser.sol#L21
Explicitly mark visibility of state
|
|
Lint the code:
src/SpecsParser.sol#L23
Explicitly mark visibility of state
|
|
Lint the code:
src/SpecsParser.sol#L220
Avoid to use inline assembly. It is acceptable only in rare cases
|
Loading