From 4cd110b85fb58765196dfa4b630fcee48befc3fd Mon Sep 17 00:00:00 2001 From: Varun Arora Date: Thu, 8 Mar 2018 06:34:59 -0800 Subject: [PATCH] [logging] Move Driver perf stats to driver_stats directory Reviewed By: dulmarod Differential Revision: D7194296 fbshipit-source-id: 28b03c5 --- infer/src/base/Config.ml | 2 ++ infer/src/base/Config.mli | 2 ++ infer/src/integration/Driver.ml | 2 +- 3 files changed, 5 insertions(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 829ce95a2..27dcd6c53 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -176,6 +176,8 @@ let default_in_zip_results_dir = "infer" (** Dotty output filename **) let dotty_output = "icfg.dot" +let driver_stats_dir_name = "driver_stats" + let duplicates_filename = "duplicates.txt" let events_dir_name = "events" diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index 73359bad7..76178fb60 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -91,6 +91,8 @@ val classpath : string option val cpp_extra_include_dir : string +val driver_stats_dir_name : string + val duplicates_filename : string val relative_cpp_models_dir : string diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 3159d7e76..84ebbee36 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -128,7 +128,7 @@ let clean_results_dir () = let register_perf_stats_report () = let filename = F.sprintf "%s.json" Config.perf_stats_prefix in - PerfStats.register_report_at_exit filename Config.backend_stats_dir_name + PerfStats.register_report_at_exit filename Config.driver_stats_dir_name let reset_duplicates_file () =