From 8168d07240b1fd715f6c441d3d52fdae015a8cba Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Thu, 9 Mar 2017 10:09:06 -0800 Subject: [PATCH] [backend] Print timeout information into stdout in debug mode Summary: I noticed we don't have `T` or `S` to denote timeouts in debug mode anymore. Today I saw it's still in `--stats` mode. Bring this feature back to `--debug` as well. Reviewed By: cristianoc Differential Revision: D4681669 fbshipit-source-id: 16ef19b --- infer/src/backend/InferAnalyze.re | 2 +- infer/src/base/Logging.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/backend/InferAnalyze.re b/infer/src/backend/InferAnalyze.re index 277d3db24..bc9cb5082 100644 --- a/infer/src/backend/InferAnalyze.re +++ b/infer/src/backend/InferAnalyze.re @@ -78,7 +78,7 @@ let print_stdout_legend () => { L.stdout "legend:@\n"; L.stdout " \"%s\" analyzing a file@\n" Config.log_analysis_file; L.stdout " \"%s\" analyzing a procedure@\n" Config.log_analysis_procedure; - if Config.stats_mode { + if (Config.stats_mode || Config.debug_mode) { L.stdout " \"%s\" analyzer crashed@\n" Config.log_analysis_crash; L.stdout " \"%s\" timeout: procedure analysis took too much time@\n" diff --git a/infer/src/base/Logging.ml b/infer/src/base/Logging.ml index 82b31f8f7..7f72cf3a5 100644 --- a/infer/src/base/Logging.ml +++ b/infer/src/base/Logging.ml @@ -299,7 +299,7 @@ let log_progress_procedure () = log_progress_simple Config.log_analysis_procedure let log_progress_timeout_event failure_kind = - if Config.stats_mode then + if Config.stats_mode || Config.debug_mode then begin match failure_kind with | SymOp.FKtimeout ->