pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[reporting][perf] Stats type string is redundant info, already contained in relevant path

Browse Source 
Summary: - No need to log the string of stats type when registering a perf Epilogue

Reviewed By: dulmarod

Differential Revision: D7398544

fbshipit-source-id: 681a956
master
Varun Arora 7 years ago committed by Facebook Github Bot
parent 84d3144c98
commit 690bae30d0
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File

3
infer/src/backend/PerfStats.ml
Unescape View File

@ -358,5 +358,4 @@ let get_reporter stats_type =
let register_report_at_exit stats_type = let register_report_at_exit stats_type =
let relative_path = relative_path_of_stats_type stats_type in let relative_path = relative_path_of_stats_type stats_type in
register_report TimeAndMemory stats_type ; register_report TimeAndMemory stats_type ;
Epilogues.register ~f:(get_reporter stats_type) Epilogues.register ~f:(get_reporter stats_type) ("stats reporting in " ^ relative_path)
(string_of_stats_type stats_type ^ "stats reporting in " ^ relative_path)

Write Preview
Loading…
Cancel
Save