bvNegNoOverflow function

Expr bvNegNoOverflow(
  1. Expr x
)

Implementation

Expr bvNegNoOverflow(Expr x) {
  final s = getSort<BitVecSort>(x);
  return notEq(x, s.sMin());
}