Method umul_fix

smt/expr.cpp:1010–1013

}

expr expr::umul_fix(const expr &a, const expr &b, const expr &c) {
  expr r = umul_fix_helper(a, b, c);
  return r.trunc(a.bits());
}

expr expr::umul_fix_no_uoverflow(const expr &a, const expr &b, const expr &c) {
  auto width = a.bits();