Skip to main content

ensure_jumpdest

foundry_evm_symbolic::runtime::evm

Function ensure_jumpdest 

Source 
pub(crate) fn ensure_jumpdest(
    dest: usize,
    jumpdests: &BTreeSet<usize>,
) -> Result<(), SymbolicError>
Expand description

Computes the ensure_jumpdest EVM semantics helper result.