revert

yoni206 · Aug 1, 2024 · af243d7 · af243d7
1 parent 511c9de
commit af243d7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/test/regress/cli/regress0/bv/overflow/saddo1.smt2 b/test/regress/cli/regress0/bv/overflow/saddo1.smt2
@@ -1,5 +1,5 @@
 ; EXPECT: unsat
 (set-logic QF_BV)
 (declare-const v (_ BitVec 6))
-(assert (and (bvsgt v (_ bv32 6)) (not (bvsaddo v v))))
+(assert (and (= (bvadd v v) (_ bv53 6)) (not (bvsaddo v v))))
 (check-sat)
diff --git a/test/regress/cli/regress0/bv/overflow/uaddo1.smt2 b/test/regress/cli/regress0/bv/overflow/uaddo1.smt2
@@ -1,5 +1,5 @@
 ; EXPECT: unsat
 (set-logic QF_BV)
 (declare-const v (_ BitVec 6))
-(assert (and (ugt v (_ bv32 6)) (not (bvuaddo v v))))
+(assert (and (= (bvadd v v) (_ bv53 6)) (not (bvuaddo v v))))
 (check-sat)