diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 365689ba8..f9de6b680 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1889,6 +1889,10 @@ and tracing = "Report error traces for runtime exceptions (Java only): generate preconditions for runtimeexceptions in Java and report errors for public methods which throw runtime exceptions" +and tv_commit = + CLOpt.mk_string_opt ~long:"tv-commit" ~meta:"commit" "Commit hash to submit to Traceview" + + and tv_limit = CLOpt.mk_int ~long:"tv-limit" ~default:100 ~meta:"int" "The maximum number of traces to submit to Traceview" @@ -2624,6 +2628,8 @@ and trace_rearrange = !trace_rearrange and tracing = !tracing +and tv_commit = !tv_commit + and tv_limit = !tv_limit and tv_limit_filtered = !tv_limit_filtered diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index ee94e14dd..f83cc5d42 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -618,6 +618,8 @@ val trace_join : bool val trace_rearrange : bool +val tv_commit : string option + val tv_limit : int val tv_limit_filtered : int