Skip to main content

read_abi_constrained_word_arg

foundry_evm_symbolic::runtime::cheatcodes

Function read_abi_constrained_word_arg 

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