Skip to main content

compute_create_address_word

foundry_evm_symbolic::runtime::expressions

Function compute_create_address_word 

Source 
pub(crate) fn compute_create_address_word(
    state: &mut PathState,
    deployer: SymWord,
    nonce: SymWord,
) -> Result<SymWord, SymbolicError>
Expand description

Computes the compute_create_address_word symbolic expression helper result.