bvMulNoOverflow function

Expr bvMulNoOverflow(
  1. Expr x,
  2. Expr y, {
  3. required bool signed,
})

Implementation

Expr bvMulNoOverflow(Expr x, Expr y, {required bool signed}) => BinaryOp(
      signed ? BinaryOpKind.bvSMulNoOverflow : BinaryOpKind.bvUMulNoOverflow,
      x,
      y,
    ).declare();