From 150bcff04b74b7c83903a7bb232a5ba3a1e70405 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Fri, 3 Nov 2017 06:37:40 -0700 Subject: [PATCH] [config] Add separate option for limit on number of filtered issues Reviewed By: jvillard, mbouaziz Differential Revision: D6231376 fbshipit-source-id: 2a5792c --- infer/src/base/Config.ml | 7 +++++++ infer/src/base/Config.mli | 2 ++ 2 files changed, 9 insertions(+) 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