From 11f12648ef6d28a6dd07cc9556a5296f894b2b02 Mon Sep 17 00:00:00 2001 From: Martino Luca Date: Fri, 7 Sep 2018 05:21:29 -0700 Subject: [PATCH] [Perf] Move EXPENSIVE_EXECUTION_TIME_CALL among filtered issue types Reviewed By: ezgicicek, mbouaziz Differential Revision: D9635512 fbshipit-source-id: 35295d247 --- infer/src/base/IssueType.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 271b799f6..aae7792a8 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -234,7 +234,7 @@ let eradicate_value_not_present = from_string "ERADICATE_VALUE_NOT_PRESENT" ~hum:"Value Not Present" -let expensive_execution_time_call = from_string "EXPENSIVE_EXECUTION_TIME_CALL" +let expensive_execution_time_call = from_string ~enabled:false "EXPENSIVE_EXECUTION_TIME_CALL" let failure_exe = from_string "Failure_exe"