Skip to main content

storage_key_eq

foundry_evm_symbolic::runtime::expressions

Function storage_key_eq 

Source 
pub(crate) fn storage_key_eq(read_key: SymWord, write_key: SymWord) -> BoolExpr
Expand description

Implements the storage_key_eq symbolic expression helper.