Reroute printing from info to notice (QuickChick#380)

proux01 · Jun 20, 2024 · f39a67b · f39a67b
1 parent b8dfced
commit f39a67b
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/plugin/quickChick.mlg.cppo b/plugin/quickChick.mlg.cppo
@@ -243,7 +243,7 @@ let define_and_run c env evd =
     let (p_out, _, p_err) as process = Unix.open_process_full execn (Unix.environment ()) in
     let rec process_otl_aux () =
       let e = input_line p_out in
-      Feedback.msg_info (Pp.str e);
+      Feedback.msg_notice (Pp.str e);
       process_otl_aux() in
     try process_otl_aux ()
     with End_of_file ->
@@ -262,18 +262,18 @@ let define_and_run c env evd =
     let process_out () =
 (*      let rec process_err_aux () =
         let e = input_line p_err in
-        Feedback.msg_info (Pp.str e);
+        Feedback.msg_notice (Pp.str e);
         process_err_aux() in
 *)        
       let rec process_otl_aux () =
         let e = input_line p_out in
-        Feedback.msg_info (Pp.str e);
+        Feedback.msg_notice (Pp.str e);
         process_otl_aux() in
       try process_otl_aux ()
       with End_of_file ->
              let stop = Unix.gettimeofday () in
              let timeElapsed = stop -. start in
-             Feedback.msg_info (Pp.str (Printf.sprintf "Time Elapsed: %fs\n" timeElapsed));
+             Feedback.msg_notice (Pp.str (Printf.sprintf "Time Elapsed: %fs\n" timeElapsed));
             (* try process_err_aux ()
             with End_of_file ->  *)
               let err_msg = read_all p_err in
@@ -335,7 +335,7 @@ let run f args =
   begin match last args with
   | Some qc_text ->
     let msg = "QuickChecking " ^ Pp.string_of_ppcmds (Ppconstr.pr_constr_expr env evd qc_text) in
-    Feedback.msg_info (Pp.str msg)
+    Feedback.msg_notice (Pp.str msg)
   | None -> failwith "run called with no arguments"
   end;
   let args = List.map (fun x -> (x,None)) args in