[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

@@ -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
 
 

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")