Method abs

smt/expr.cpp:1139–1143

}

expr expr::abs() const {
  C();
  auto s = sort();
  return mkIf(sge(mkUInt(0, s)), *this, mkInt(-1, s) * *this);
}

expr expr::round_up(const expr &power_of_two) const {
  expr minus_1 = power_of_two - mkUInt(1, power_of_two);