Skip to main content

write_smt_wide_modular_arithmetic

foundry_evm_symbolic::runtime::expr::word

Function write_smt_wide_modular_arithmetic 

Source 
fn write_smt_wide_modular_arithmetic(
    cx: &SymCx,
    out: &mut String,
    op: &'static str,
    left: &SymExpr,
    right: &SymExpr,
    modulus: &SymExpr,
)