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 () =