diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 0b8021b60..e608d1c49 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1944,6 +1944,11 @@ and tv_limit = "The maximum number of traces to submit to Traceview" +and tv_limit_filtered = + CLOpt.mk_int ~long:"tv-limit-filtered" ~default:100 ~meta:"int" + "The maximum number of traces for issues filtered out by --report-filter to submit to Traceview" + + and type_size = CLOpt.mk_bool ~deprecated:["type_size"] ~long:"type-size" "Consider the size of types during analysis, e.g. cannot use an int pointer to write to a char" @@ -2688,6 +2693,8 @@ and tracing = !tracing and tv_limit = !tv_limit +and tv_limit_filtered = !tv_limit_filtered + and type_size = !type_size and uninit = !uninit diff --git a/infer/src/base/Config.mli b/infer/src/base/Config.mli index b7210ed78..b7032f3d7 100644 --- a/infer/src/base/Config.mli +++ b/infer/src/base/Config.mli @@ -679,6 +679,8 @@ val trace_rearrange : bool val tv_limit : int +val tv_limit_filtered : int + val type_size : bool val uninit : bool