add status

HanielB · Sep 17, 2024 · 327b904 · 327b904
1 parent 08f9397
commit 327b904
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/regress/cli/regress0/proofs/issue9927.smt2 b/test/regress/cli/regress0/proofs/issue9927.smt2
@@ -1,3 +1,4 @@
+; EXPECT: unsat
 (set-logic QF_LRA)
 (declare-fun b () Bool)
 (assert (= 0.0 (ite b 2.0 1.0)))