Skip to main content

symbolic_create2_address_word

foundry_evm_symbolic::runtime::expressions

Function symbolic_create2_address_word 

Source 
pub(crate) fn symbolic_create2_address_word(
    state: &mut PathState,
    creator_identity: String,
    salt: Expr,
    initcode_identity: String,
) -> SymWord
Expand description

Returns the symbolic_create2_address_word symbolic expression helper result.