From d151977b392ccb6c2b76a1766c538437c0702bb3 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Mon, 2 Nov 2015 07:10:05 -0800 Subject: [PATCH] print stats in debug mode only Reviewed By: dulmarod Differential Revision: D2605569 fb-gh-sync-id: 493f1f0 --- infer/src/backend/interproc.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml index 4990106f8..5a9c0bc55 100644 --- a/infer/src/backend/interproc.ml +++ b/infer/src/backend/interproc.ml @@ -1380,8 +1380,7 @@ let print_stats_cfg proc_shadowed proc_is_active cfg = L.out "%a" print_file_stats (); save_file_stats () -(** Print the stats for all the files in the exe_env *) -let print_stats exe_env = +let _print_stats exe_env = let proc_is_active proc_desc = Exe_env.proc_is_active exe_env (Cfg.Procdesc.get_proc_name proc_desc) in Exe_env.iter_files (fun fname tenv cfg -> @@ -1390,3 +1389,7 @@ let print_stats exe_env = let proc_name = Cfg.Procdesc.get_proc_name proc_desc in Exe_env.get_source exe_env proc_name <> fname in print_stats_cfg proc_shadowed proc_is_active cfg) exe_env + +(** Print the stats for all the files in the exe_env *) +let print_stats exe_env = + if !Config.developer_mode then _print_stats exe_env