feat: update storage validation rules #33
Annotations
10 warnings
src/Simulator.sol#L10
imported name IStakeManager is not used
|
src/Simulator.sol#L22
imported name expectRevert is not used
|
src/Simulator.sol#L123
Avoid to use inline assembly. It is acceptable only in rare cases
|
src/Simulator.sol#L151
Avoid to use inline assembly. It is acceptable only in rare cases
|
src/Simulator.sol#L181
Avoid to use inline assembly. It is acceptable only in rare cases
|
src/SpecsParser.sol#L5
imported name IEntryPoint is not used
|
src/SpecsParser.sol#L6
imported name IEntryPointSimulations is not used
|
src/SpecsParser.sol#L21
Explicitly mark visibility of state
|
src/SpecsParser.sol#L23
Explicitly mark visibility of state
|
src/SpecsParser.sol#L227
Avoid to use inline assembly. It is acceptable only in rare cases
|
The logs for this run have expired and are no longer available.
Loading