Skip to main content

runtime_has_rejected_prefix

foundry_evm_symbolic::executor::create

Function runtime_has_rejected_prefix 

Source 
fn runtime_has_rejected_prefix(
    cx: &mut SymCx,
    spec_id: SpecId,
    runtime: &SymReturnData,
) -> Result<bool, SymbolicError>