Skip to main content

context_forces_masked_expr

foundry_evm_symbolic::runtime::expr::word

Function context_forces_masked_expr 

Source 
fn context_forces_masked_expr(
    context: &[SymBoolExpr],
    target: &SymExpr,
    mask: U256,
) -> bool