update test

SRI-CSL · Nov 30, 2023 · 424c006 · 424c006
1 parent 7fa9e25
commit 424c006
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regress/mcsat/nia/nira_00.smt2 b/tests/regress/mcsat/nia/nira_00.smt2
@@ -17,7 +17,7 @@
 (assert (< (+ (- 7) pure_y) 0))
 
 (assert (= pure_xy 7))
-(assert (= pure_xy (* x y)))
+(assert (= (+ pure_xy (* x (- y))) 0))
 
 (check-sat)
 (exit)