[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

@@ -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"
-}
+}

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)