fix: tests

Author: bronsa

bin/test_http_api_instance.ml

@@ -33,6 +33,7 @@ let () =
           syntax = Iml;
           hints = None;
           instance_printer = Some { name = "Z.sprint ()"; cx_var_name = "x" };
+          reflect = true;
         }
     in
     Log.debug (fun k -> k "Shutting down server...");

bin/test_http_api_verify.ml

@@ -33,6 +33,7 @@ let () =
           syntax = Iml;
           hints = Some { method_ = Auto };
           instance_printer = None;
+          reflect = false;
         }
     in
     Log.debug (fun k -> k "Shutting down server...");

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 = true;
               }
           in
           Lwt.return result

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