Update tests

OCamlPro · Nov 28, 2023 · 5259187 · 5259187
1 parent c3493ef
commit 5259187
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tests/cram.t/run.t b/tests/cram.t/run.t
@@ -42,16 +42,16 @@ combinations of produce-models et al.
 
 First, if (get-model) is called outside the SAT mode, we should fail.
   $ echo '(get-model)' | alt-ergo -i smtlib2 -o smtlib2 --continue-on-error 2> /dev/null
-  (error "Invalid action during mode Start: Command get-model")
+  (error "Invalid action during Start mode: Command get-model")
 
 
   $ echo '(set-logic ALL)(get-model)' | alt-ergo -i smtlib2 -o smtlib2 --continue-on-error 2> /dev/null
-  (error "Invalid action during mode Assert: Command get-model")
+  (error "Invalid action during Assert mode: Command get-model")
 
   $ echo '(set-logic ALL)(assert false)(check-sat)(get-model)' | alt-ergo -i smtlib2 -o smtlib2 --continue-on-error 2> /dev/null
 
   unsat
-  (error "Invalid action during mode Unsat: Command get-model")
+  (error "Invalid action during Unsat mode: Command get-model")
 
 Then, if model generation is not enabled, we should error out when a
 `(get-model)` statement is issued:

diff --git a/tests/smtlib/testfile-steps-bound1.dolmen.err.expected b/tests/smtlib/testfile-steps-bound1.dolmen.err.expected
@@ -1 +1 @@
-(error "Invalid action during mode Assert: Set option steps_bound")
+(error "Invalid action during Assert mode: Set option steps_bound")
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		(error "Invalid action during mode Assert: Set option steps_bound")
		(error "Invalid action during Assert mode: Set option steps_bound")