From d9853aa53dea6daa291f2842298ff28795631c28 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Mon, 20 May 2019 06:49:52 -0700 Subject: [PATCH] [scheduler] quiet at procedure level Summary: There can be A LOT of procedures -- currently we log two lines (started/done) for each one, when doing call graph scheduling. This leads to ridiculously long log files. Switch to only log these messages in the log file and only if we are verbose logging. Reviewed By: jvillard Differential Revision: D15413330 fbshipit-source-id: 6e26693e8 --- infer/src/backend/InferAnalyze.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/infer/src/backend/InferAnalyze.ml b/infer/src/backend/InferAnalyze.ml index 56adb087e..a502c6b4f 100644 --- a/infer/src/backend/InferAnalyze.ml +++ b/infer/src/backend/InferAnalyze.ml @@ -25,8 +25,9 @@ let analyze_target : TaskScheduler.target Tasks.doer = if Config.write_html then Printer.write_all_html_files source_file ) in let analyze_proc_name exe_env proc_name = - L.task_progress Typ.Procname.pp proc_name ~f:(fun () -> - Callbacks.analyze_proc_name exe_env proc_name ) + L.debug Analysis Verbose "%a starting@." Typ.Procname.pp proc_name ; + Callbacks.analyze_proc_name exe_env proc_name ; + L.debug Analysis Verbose "%a DONE@." Typ.Procname.pp proc_name in fun target -> if Config.memcached then Memcached.connect () ;