From ba6ef4f5b243aa7bc493a082508ed0c2077fb666 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Tue, 26 Sep 2017 19:44:44 -0700 Subject: [PATCH] [infer][clang] run the C++ tests using the checkers analyzer Reviewed By: sblackshear Differential Revision: D5917649 fbshipit-source-id: 3eecc5d --- infer/tests/codetoanalyze/cpp/errors/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/tests/codetoanalyze/cpp/errors/Makefile b/infer/tests/codetoanalyze/cpp/errors/Makefile index 8a0807e84..347cce854 100644 --- a/infer/tests/codetoanalyze/cpp/errors/Makefile +++ b/infer/tests/codetoanalyze/cpp/errors/Makefile @@ -7,11 +7,11 @@ TESTS_DIR = ../../.. -ANALYZER = infer +ANALYZER = checkers # use our own clang's standard library so that the tests are uniform across distributions CLANG_OPTIONS = -x c++ -std=c++1y -isystem$(ROOT_DIR) -c -INFER_OPTIONS = --ml-buckets cpp --no-filtering --debug-exceptions --project-root $(TESTS_DIR) \ +INFER_OPTIONS = --biabduction-only --ml-buckets cpp --debug-exceptions --project-root $(TESTS_DIR) \ --pmd-xml --report-custom-error INFERPRINT_OPTIONS = --issues-tests