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 = \