fix: tests

imandra-ai · Oct 11, 2024 · a65a1d2 · a65a1d2
1 parent c0183ed
commit a65a1d2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/tests/instance.ml b/tests/instance.ml
@@ -21,6 +21,7 @@ let tests (module Log : Logs.LOG) : unit Alcotest_lwt.test_case list =
                 hints = None;
                 instance_printer =
                   Some { name = "Z.sprint ()"; cx_var_name = "x" };
+                reflect = false;
               }
           in
           Lwt.return result

diff --git a/tests/verification.ml b/tests/verification.ml
@@ -19,6 +19,7 @@ let tests (module Log : Logs.LOG) : unit Alcotest_lwt.test_case list =
                 syntax = Iml;
                 hints = Some { method_ = Auto };
                 instance_printer = None;
+                reflect = false;
               }
           in
           Lwt.return result