[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

@@ -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 () ;