Skip to main content

calldata_prefix_condition

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.