Skip to main content

execute_symbolic_precompile

foundry_evm_symbolic::runtime::precompiles

Function execute_symbolic_precompile 

Source 
pub(crate) fn execute_symbolic_precompile(
    cx: &mut SymCx,
    address: Address,
    input: SymBytes,
    input_len: SymExpr,
    spec_id: SpecId,
) -> Result<Option<SymReturnData>, SymbolicError>