Skip to main content

push_unique_slot

foundry_evm_symbolic::runtime::state

Function push_unique_slot 

Source 
pub(crate) fn push_unique_slot(slots: &mut Vec<SymWord>, slot: SymWord)
Expand description

Applies the push_unique_slot symbolic state helper.