From 22d317c9405c5125feb41290bdc69df9bcb47a29 Mon Sep 17 00:00:00 2001 From: Daiva Naudziuniene Date: Mon, 28 Sep 2020 07:22:26 -0700 Subject: [PATCH] [pulse] Move pulse model flags to .inferconfig for pulse tests Summary: The title Reviewed By: skcho Differential Revision: D23960402 fbshipit-source-id: edc3bc2d0 --- infer/tests/codetoanalyze/cpp/pulse/.inferconfig | 4 +++- infer/tests/codetoanalyze/cpp/pulse/Makefile | 3 +-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/infer/tests/codetoanalyze/cpp/pulse/.inferconfig b/infer/tests/codetoanalyze/cpp/pulse/.inferconfig index 26103745a..8484ba08d 100644 --- a/infer/tests/codetoanalyze/cpp/pulse/.inferconfig +++ b/infer/tests/codetoanalyze/cpp/pulse/.inferconfig @@ -1,3 +1,5 @@ { + "pulse-model-abort": ["ns1::ns2::fun_abort"], + "pulse-model-return-nonnull": ["Handle::get"], "pulse-model-skip-pattern": "skip_model::SkipAll::.*\\|.*SkipSome<.*>::skip_me" -} \ No newline at end of file +} diff --git a/infer/tests/codetoanalyze/cpp/pulse/Makefile b/infer/tests/codetoanalyze/cpp/pulse/Makefile index e128365d9..a479a7f50 100644 --- a/infer/tests/codetoanalyze/cpp/pulse/Makefile +++ b/infer/tests/codetoanalyze/cpp/pulse/Makefile @@ -7,8 +7,7 @@ TESTS_DIR = ../../.. # see explanations in cpp/biabduction/Makefile for the custom isystem CLANG_OPTIONS = -x c++ -std=c++17 -nostdinc++ -isystem$(CLANG_INCLUDES)/c++/v1/ -c -INFER_OPTIONS = --pulse-only --debug-exceptions --project-root $(TESTS_DIR) \ ---pulse-model-abort "ns1::ns2::fun_abort" --pulse-model-return-nonnull "Handle::get" +INFER_OPTIONS = --pulse-only --debug-exceptions --project-root $(TESTS_DIR) INFERPRINT_OPTIONS = --issues-tests SOURCES = $(wildcard *.cpp)