From 4031c7e4a0a51e8b7101e3386ff9cca911cfbf77 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Thu, 28 Feb 2019 12:30:04 -0800 Subject: [PATCH] [multicore] is dead Reviewed By: jeremydubreil Differential Revision: D14258642 fbshipit-source-id: 607f26509 --- infer/src/base/Config.ml | 2 -- infer/src/base/Config.mli | 2 -- infer/src/integration/Driver.ml | 1 - 3 files changed, 5 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 382985001..3b9465cfb 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -228,8 +228,6 @@ let max_widens = 10000 1 = use the meet to generate new preconditions *) let meet_level = 1 -let multicore_dir_name = "multicore" - let nsnotification_center_checker_backend = false let perf_stats_prefix = "perf_stats" diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index 54e8b3381..8e00e0610 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -131,8 +131,6 @@ val models_jar : string val models_src_dir : string -val multicore_dir_name : string - val nsnotification_center_checker_backend : bool val os_type : os_type diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 3543b0e0c..2fb11ff23 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -86,7 +86,6 @@ let clean_results_dir () = [ backend_stats_dir_name ; classnames_dir_name ; frontend_stats_dir_name - ; multicore_dir_name ; reporting_stats_dir_name ] in if flavors then common_list else captured_dir_name :: common_list