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