Unbreak --continue option by passing it down to the python files

Reviewed By: jvillard

Differential Revision: D4319825

fbshipit-source-id: 264f6e3

infer/src/backend/infer.ml

@@ -213,6 +213,8 @@ let capture build_cmd = function
           ["--project-root"; Config.project_root] @
           (if not Config.reactive_mode then [] else
              ["--reactive"]) @
+          (if not Config.continue_capture then [] else
+             ["--continue"]) @
           "--out" :: Config.results_dir ::
           (match Config.xcode_developer_dir with None -> [] | Some d ->
               ["--xcode-developer-dir"; d]) @

infer/tests/build_systems/build_integration_tests.py

@@ -470,7 +470,10 @@ class BuildIntegrationTest(unittest.TestCase):
                'infer_args': reactive_args},
               {'compile': ['clang', '-c', 'hello2.c'],
                'infer_args': reactive_args},
-              {'compile': ['analyze']}])
+              {'compile': ['clang', '-c', 'hello3.c'],
+               'infer_args': reactive_args},
+              {'compile': ['analyze'],
+               'infer_args': ['--reactive']}])
 
     def test_clang_component_kit_analytics(self):
         test('componentkit_analytics',

infer/tests/build_systems/codetoanalyze/hello3.c

@@ -0,0 +1,15 @@
+/*
+ * Copyright (c) 2015 - present Facebook, Inc.
+ * All rights reserved.
+ *
+ * This source code is licensed under the BSD style license found in the
+ * LICENSE file in the root directory of this source tree. An additional grant
+ * of patent rights can be found in the PATENTS file in the same directory.
+ */
+
+#include <stdlib.h>
+
+void test3() {
+  int* s = NULL;
+  *s = 42;
+}

infer/tests/build_systems/expected_outputs/reactive_report.json

@@ -8,5 +8,10 @@
     "bug_type": "NULL_DEREFERENCE",
     "file": "hello2.c",
     "procedure": "test2"
+  },
+  {
+    "bug_type": "NULL_DEREFERENCE",
+    "file": "hello3.c",
+    "procedure": "test3"
   }
 ]