feat: update storage validation rules #34
Annotations
10 warnings
lint / forge-lint:
src/Simulator.sol#L10
imported name IStakeManager is not used
|
lint / forge-lint:
src/Simulator.sol#L22
imported name expectRevert is not used
|
lint / forge-lint:
src/Simulator.sol#L123
Avoid to use inline assembly. It is acceptable only in rare cases
|
lint / forge-lint:
src/Simulator.sol#L151
Avoid to use inline assembly. It is acceptable only in rare cases
|
lint / forge-lint:
src/Simulator.sol#L181
Avoid to use inline assembly. It is acceptable only in rare cases
|
lint / forge-lint:
src/SpecsParser.sol#L5
imported name IEntryPoint is not used
|
lint / forge-lint:
src/SpecsParser.sol#L6
imported name IEntryPointSimulations is not used
|
lint / forge-lint:
src/SpecsParser.sol#L21
Explicitly mark visibility of state
|
lint / forge-lint:
src/SpecsParser.sol#L23
Explicitly mark visibility of state
|
lint / forge-lint:
src/SpecsParser.sol#L227
Avoid to use inline assembly. It is acceptable only in rare cases
|