[pulse][trivial] change debug output of addresses to `vN`

Summary: Having just numbers for abstract values is a tad confusing. The change is also needed for having actual constant values later. Reviewed By: ezgicicek Differential Revision: D17665469 fbshipit-source-id: 20dff7bbe
5 years ago · 3e2f36bf6d
parent f2b4536970
commit 3e2f36bf6d
1 changed files with 1 additions and 1 deletions
--- a/infer/src/pulse/PulseDomain.ml
+++ b/infer/src/pulse/PulseDomain.ml
@ -388,7 +388,7 @@ end = struct
    incr next_fresh ; l


-  let pp = F.pp_print_int
+  let pp f l = F.fprintf f "v%d" l

  let init () = next_fresh := 1