Skip to main content

execute_symbolic_precompile

foundry_evm_symbolic::runtime::precompiles

Function execute_symbolic_precompile 

Source 
pub(crate) fn execute_symbolic_precompile(
    address: Address,
    input: Vec<SymWord>,
    input_len: SymWord,
) -> Result<Option<SymReturnData>, SymbolicError>
Expand description

Computes the execute_symbolic_precompile precompile helper result.