diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index ba75b2e08..63c4c49b1 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1079,6 +1079,10 @@ and reactive = CLOpt.mk_bool ~deprecated:["reactive"] ~long:"reactive" "Reactive mode: the analysis starts from the files captured since the `infer` command started" +and reactive_capture = + CLOpt.mk_bool ~long:"reactive-capture" + "Compile source files only when required by analyzer (clang only)" + and report = CLOpt.mk_path_opt ~deprecated:["report"] ~long:"report" ~meta:"file" "Write a report of the analysis results to a file" @@ -1472,6 +1476,7 @@ and procs_xml = !procs_xml and quandary = !quandary and quiet = !quiet and reactive_mode = !reactive +and reactive_capture = !reactive_capture and report = !report and report_custom_error = !report_custom_error and report_runtime_exceptions = !tracing diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index 3a27bce1f..23adae0b9 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -231,6 +231,7 @@ val project_root : string val quandary : bool val quiet : bool val reactive_mode : bool +val reactive_capture : bool val report : string option val report_runtime_exceptions : bool val reports_include_ml_loc : bool