Skip to main content

symbolic_storage_symbol

foundry_evm_symbolic::runtime

Function symbolic_storage_symbol 

Source 
pub(crate) fn symbolic_storage_symbol(
    cx: &mut SymCx,
    address: Address,
    key: &SymExpr,
) -> Symbol