From c729d26386ce2201151a78c9858c830f528f9bc0 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Wed, 2 Nov 2016 16:49:43 -0700 Subject: [PATCH] [config] Default to --allow-specs-cleanup Reviewed By: akotulski Differential Revision: D4110719 fbshipit-source-id: c6cfcb2 --- infer/lib/python/inferlib/analyze.py | 4 ---- infer/src/base/Config.ml | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 8632b27ba..3b7265d40 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -233,10 +233,6 @@ class AnalyzerWrapper(object): ] infer_options = [] - # remove specs if possible so that old issues are less likely - # to be reported - infer_options += ['-allow_specs_cleanup'] - infer_options += ['-inferconfig_home', utils.decode(os.getcwd())] if self.args.analyzer == config.ANALYZER_ERADICATE: diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 0145cf44a..ec511b04b 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -505,7 +505,7 @@ and allow_leak = "Forget leaked memory during abstraction" and allow_specs_cleanup = - CLOpt.mk_bool ~deprecated:["allow_specs_cleanup"] ~long:"allow-specs-cleanup" + CLOpt.mk_bool ~deprecated:["allow_specs_cleanup"] ~long:"allow-specs-cleanup" ~default:true "Allow to remove existing specs before running analysis when it's not incremental" and (