From 2bfda57cb1ca77f40a63b74d7668e0323b06b9c2 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Tue, 11 May 2021 04:35:11 -0700
Subject: [PATCH] [ConfigImpact] Revise qualifier

Summary:
* "without GK/QE" as bold
* procedure name as code

Reviewed By: ezgicicek

Differential Revision: D28350432

fbshipit-source-id: 33adccefc
---
 infer/src/cost/ConfigImpactAnalysis.ml | 2 +-
 infer/src/integration/Differential.ml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/cost/ConfigImpactAnalysis.ml b/infer/src/cost/ConfigImpactAnalysis.ml
index 7f5582d5a..4486580ec 100644
--- a/infer/src/cost/ConfigImpactAnalysis.ml
+++ b/infer/src/cost/ConfigImpactAnalysis.ml
@@ -93,7 +93,7 @@ module UncheckedCallee = struct
   let pp_without_location_list f unchecked_callees =
     IList.pp_print_list ~max:Config.config_impact_max_callees_to_print
       ~pp_sep:(fun f () -> Format.pp_print_string f ", ")
-      (fun f {callee} -> Procname.pp f callee)
+      (fun f {callee} -> Format.fprintf f "`%a`" Procname.pp callee)
       f unchecked_callees
 
 
diff --git a/infer/src/integration/Differential.ml b/infer/src/integration/Differential.ml
index cb663c27a..430ed2ca5 100644
--- a/infer/src/integration/Differential.ml
+++ b/infer/src/integration/Differential.ml
@@ -427,7 +427,7 @@ module ConfigImpactItem = struct
                (UncheckedCallee.is_known_expensive x) )
     in
     let qualifier =
-      Format.asprintf "Function call%s to %a %s %a without GK/QE."
+      Format.asprintf "Function call%s to %a %s %a **without GK/QE**."
         (if is_singleton then "" else "s")
         UncheckedCallee.pp_without_location_list unchecked_callees
         (if is_singleton then "is" else "are")