Skip to main content

create2_address_word

foundry_evm_symbolic::runtime::expressions

Function create2_address_word 

Source 
pub(crate) fn create2_address_word(
    state: &mut PathState,
    creator: Address,
    salt: SymWord,
    initcode: &SymCode,
) -> Result<(SymWord, Address), SymbolicError>
Expand description

Implements the create2_address_word symbolic expression helper.