Update tests

OCamlPro · Sep 28, 2023 · 52532f4 · 52532f4
1 parent fea288b
commit 52532f4
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 10 deletions.
diff --git a/tests/dune.inc b/tests/dune.inc
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,13 @@
 (error "Invalid (get-info :reason-unknown)")
 
 unknown
-(:all-statistics unsupported)
-(:assertion-stack-levels unsupported)
+unsupported
+
+unsupported
+
 (:authors "Alt-Ergo developers")
 (:error-behavior immediate-exit)
 (:name "Alt-Ergo")
-(:reason-unknown incomplete)
+(:reason-unknown Incomplete)
 (:version dev)
-(error "unknown option ':foo'")
+unsupported