Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server

1 files changed, 3 insertions, 2 deletions

diff --git a/monkey/test.py b/monkey/test.py
index 9267782..b88942b 100755
--- a/monkey/test.py
+++ b/monkey/test.py
@@ -145,8 +145,9 @@ elif sys.argv[2] == 'info':
     # Print all observed edits and their costs.
     elif sys.argv[3] == 'edits':
         for (path, before, after), (cost, uids) in sorted(edits.items(), key=lambda x: x[1]):
-            print(' {:.4f}\t{} → {}'.format(cost, stringify(before) if before else 'ε',
-                                                  stringify(after) if after else 'ε'))
+            print(' {:.4f}\t{}: {} → {}'.format(cost, '▹'.join(path),
+                                            stringify(before) if before else 'ε',
+                                            stringify(after) if after else 'ε'))
 
     # Print all student queries and their counts.
     elif sys.argv[3] == 'queries':