From 322eee5bf71476df42bc469a629cd073a36fd3b0 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Tue, 14 Jan 2020 08:05:27 -0800
Subject: [PATCH] [inferbo] Suppress trace print

Reviewed By: ezgicicek

Differential Revision: D19390878

fbshipit-source-id: 5f24b35da
---
 infer/src/bufferoverrun/bufferOverrunDomain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunDomain.ml b/infer/src/bufferoverrun/bufferOverrunDomain.ml
index 8a734ec39..dd2d4d607 100644
--- a/infer/src/bufferoverrun/bufferOverrunDomain.ml
+++ b/infer/src/bufferoverrun/bufferOverrunDomain.ml
@@ -119,7 +119,7 @@ module Val = struct
         F.fprintf fmt " (modeled_range:%a)" ModeledRange.pp range
     in
     let trace_pp fmt traces =
-      if Config.bo_debug >= 1 then F.fprintf fmt ", %a" TraceSet.pp traces
+      if Config.bo_debug >= 3 then F.fprintf fmt ", %a" TraceSet.pp traces
     in
     F.fprintf fmt "(%a%a%a%a, %a, %a%a)" Itv.pp x.itv itv_thresholds_pp x.itv_thresholds
       itv_updated_by_pp x.itv_updated_by modeled_range_pp x.modeled_range PowLoc.pp x.powloc