pub(crate) fn execute_precompile(
cx: &mut SymCx,
address: Address,
input: &[u8],
spec_id: SpecId,
) -> Result<Option<SymReturnData>, SymbolicError>Expand description
Executes a canonical precompile on concrete input with effectively unlimited gas.
Returns None when the precompile fails.