add repr for many simgrid objects. replace mailbox __str__ to match __repr__ of other...

[simgrid.git] / tools / normalize-pointers.py

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index ba78a8078cc5d5cf3517c915726d6ce52737aeee..54335398bfef0be2fcbd3f0b93a5bba7d8ee829d 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,6 +1,6 @@
 #!/usr/bin/env python
 
 #!/usr/bin/env python
 

-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2023. The SimGrid Team.

 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it


@@ -10,14 +10,14 @@
 Tool for normalizing pointers such as two runs have the same 'addresses'
 
 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...
 Tool for normalizing pointers such as two runs have the same 'addresses'
 
 first address encountered will be replaced by 0X0000001, second by 0X0000002, ...

-

 """
 
 """
 

-import sys, re
+import sys
+import re

 
 

-if len(sys.argv)!=2:
-  print "Usage ./normalize-pointers.py <filename>"
-  sys.exit(1)
+if len(sys.argv) != 2:
+    print "Usage ./normalize-pointers.py <filename>"
+    sys.exit(1)

 
 f = open(sys.argv[1])
 t = f.read()
 
 f = open(sys.argv[1])
 t = f.read()


@@ -28,15 +28,11 @@ s = r.search(t)
 offset = 0
 pointers = {}
 while (s):
 offset = 0
 pointers = {}
 while (s):

-  if s.group() not in pointers:
-    pointers[s.group()] = "0X%07d"%len(pointers)
-  print t[offset:s.start()],
-  print pointers[s.group()],
-  offset = s.end()
-  s = r.search(t, offset)
+    if s.group() not in pointers:
+        pointers[s.group()] = "0X%07d" % len(pointers)
+    print t[offset:s.start()],
+    print pointers[s.group()],
+    offset = s.end()
+    s = r.search(t, offset)

 
 print t[offset:]
 
 print t[offset:]

-
-
-
-