Skip to main content

byte_eq_condition

foundry_evm_symbolic::executor::calls

Function byte_eq_condition 

Source 
fn byte_eq_condition(
    cx: &mut SymCx,
    input: &[SymExpr],
    offset: usize,
    value: u8,
) -> SymBoolExpr