Skip to main content

address_match_condition

foundry_evm_symbolic::runtime::address

Function address_match_condition 

Source 
pub(crate) fn address_match_condition(
    word: &SymWord,
    address: Address,
) -> BoolExpr
Expand description

Returns the address_match_condition address normalization helper result.