Skip to main content

read_abi_symbolic_dynamic_byte_exprs_arg

foundry_evm_symbolic::runtime::cheatcodes

Function read_abi_symbolic_dynamic_byte_exprs_arg 

Source 
pub(crate) fn read_abi_symbolic_dynamic_byte_exprs_arg(
    cx: &mut SymCx,
    state: &PathState,
    args_offset: usize,
    index: usize,
    max_len: usize,
    reason: &'static str,
) -> Result<Vec<SymExpr>, SymbolicError>