Skip to main content

symbolic_create_address_word

foundry_evm_symbolic::runtime::expr::word

Function symbolic_create_address_word 

Source 
pub(crate) fn symbolic_create_address_word(
    cx: &mut SymCx,
    state: &mut PathState,
    creator_identity: String,
    nonce: SymExpr,
) -> SymExpr