From 3c09ae953d652a916db8018ad211b5cf8671bfb9 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 27 Sep 2017 15:50:00 -0700 Subject: [PATCH] [infer][objc] Run the biabduction test using the checkers analyzer Reviewed By: sblackshear Differential Revision: D5922475 fbshipit-source-id: 06c3ae8 --- infer/src/base/Config.ml | 2 +- infer/tests/codetoanalyze/objc/errors/Makefile | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 2c4eded4c..d51321b99 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -2364,7 +2364,7 @@ let clang_frontend_do_capture, clang_frontend_do_lint = match !analyzer with | Some Linters -> (false, true) (* no capture, lint *) - | Some BiAbduction + | Some BiAbduction | Some Checkers -> (true, false) (* capture, no lint *) | _ -> (true, true) diff --git a/infer/tests/codetoanalyze/objc/errors/Makefile b/infer/tests/codetoanalyze/objc/errors/Makefile index 276830c74..9f7d8d9ab 100644 --- a/infer/tests/codetoanalyze/objc/errors/Makefile +++ b/infer/tests/codetoanalyze/objc/errors/Makefile @@ -11,14 +11,14 @@ IPHONESIMULATOR_ISYSROOT_SUFFIX = /Platforms/iPhoneSimulator.platform/Developer/ XCODEROOT = $(shell $(XCODE_SELECT) -p) -ANALYZER = infer +ANALYZER = checkers CLANG_OPTIONS = -x objective-c \ -isysroot $(XCODEROOT)$(IPHONESIMULATOR_ISYSROOT_SUFFIX) \ -mios-simulator-version-min=8.2 --target=x86_64-apple-darwin14 -c \ CLEAN_EXTRA = infer-out-arc infer-out-all infer-out-all infer-out-arc \ issues.exp.test.all issues.exp.test.arc issues.exp.test.default -INFER_OPTIONS = --dump-duplicate-symbols --no-filtering --debug-exceptions --project-root $(TESTS_DIR) +INFER_OPTIONS = --biabduction-only --dump-duplicate-symbols --debug-exceptions --project-root $(TESTS_DIR) INFERPRINT_OPTIONS = --issues-tests SOURCES_DEFAULT = \