Make test more interesting

OCamlPro · Sep 26, 2023 · 7da5509 · 7da5509
1 parent 0dcbeb7
commit 7da5509
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/tests/everything/testfile-smt-instr-get-info.dolmen.expected b/tests/everything/testfile-smt-instr-get-info.dolmen.expected
@@ -1,11 +1,11 @@
 (error "Invalid (get-info :reason-unknown)")
 
-unsat
+unknown
 (:all-statistics unsupported)
 (:assertion-stack-levels unsupported)
 (:authors "Alt-Ergo developers")
 (:error-behavior immediate-exit)
 (:name "Alt-Ergo")
-(error "Invalid (get-info :reason-unknown)")
+(:reason-unknown incomplete)
 (:version dev)
 (error "unknown option ':foo'")
diff --git a/tests/everything/testfile-smt-instr-get-info.dolmen.smt2 b/tests/everything/testfile-smt-instr-get-info.dolmen.smt2
@@ -2,7 +2,8 @@
 
 (declare-const x Int)
 (declare-const y Int)
-(assert (= (* x x) 3))
+
+(assert (= (* x x) 4))
 
 (get-info :reason-unknown)
 (check-sat)