From b5ba9a74d14ba6693448aea5ad378bfc11224f06 Mon Sep 17 00:00:00 2001 From: Sungkeun Cho Date: Thu, 2 Aug 2018 03:44:43 -0700 Subject: [PATCH] [Inferbo] Fix trace print condition Summary: It prints more when given bigger bo_debug option. Reviewed By: mbouaziz Differential Revision: D9131385 fbshipit-source-id: b26e8192f --- 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 c9bbde66e..a848daca8 100644 --- a/infer/src/bufferoverrun/bufferOverrunDomain.ml +++ b/infer/src/bufferoverrun/bufferOverrunDomain.ml @@ -45,7 +45,7 @@ module Val = struct if Option.is_some Config.bo_relational_domain then F.fprintf fmt ", %a" Relation.Sym.pp sym in let trace_pp fmt traces = - if Config.bo_debug <= 1 then F.fprintf fmt ", %a" TraceSet.pp traces + if Config.bo_debug >= 1 then F.fprintf fmt ", %a" TraceSet.pp traces in F.fprintf fmt "(%a%a, %a, %a%a%a%a)" Itv.pp x.itv relation_sym_pp x.sym PowLoc.pp x.powloc ArrayBlk.pp x.arrayblk relation_sym_pp x.offset_sym relation_sym_pp x.size_sym trace_pp