feat: add OOG revert and banned opcode validation #24
Annotations
10 warnings
|
Lint the code:
src/Simulator.sol#L10
imported name IStakeManager is not used
|
|
Lint the code:
src/Simulator.sol#L22
imported name expectRevert is not used
|
|
Lint the code:
src/Simulator.sol#L123
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the code:
src/Simulator.sol#L151
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the code:
src/Simulator.sol#L181
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#L10
imported name Vm 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
|
Loading