Skip to main content

byte_word_dynamic

foundry_evm_symbolic::runtime::evm

Function byte_word_dynamic 

Source 
pub(crate) fn byte_word_dynamic(
    cx: &mut SymCx,
    index: SymExpr,
    word: SymExpr,
) -> SymExpr