Skip to main content

calldata_prefix_condition

foundry_evm_symbolic::runtime::expressions

Function calldata_prefix_condition 

Source 
pub(crate) fn calldata_prefix_condition(
    calldata: &[SymWord],
    prefix: &[SymWord],
    _reason: &'static str,
) -> Result<Option<BoolExpr>, SymbolicError>
Expand description

Implements the calldata_prefix_condition symbolic expression helper.