IDebugExpressionDeployerV2
Functions
integrityCheck
Drives an integrity check of the provided bytecode and constants.
Unlike IDebugExpressionDeployerV1
this version ONLY checks the
integrity of bytecode as produced by IParserV1.parse
. There is an eval
debug method on IDebugInterpreterV2
that can be used to check the
runtime outputs of bytecode that passes the integrity check.
Integrity check MUST revert with a descriptive error if the bytecode
fails the integrity check.
function integrityCheck(bytes calldata bytecode, uint256[] calldata constants, uint256[] calldata minOutputs)
external
view;
Parameters
Name | Type | Description |
---|---|---|
bytecode | bytes | The bytecode to check. |
constants | uint256[] | The constants to check. |
minOutputs | uint256[] | The minimum number of outputs expected from each of the sources. Only applies to sources that are entrypoints. Internal sources have their integrity checked implicitly by the use of opcodes such as call that have min/max outputs in their operand. |