Move maxmin solver from system

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

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index 6ee4a1c6d1ca2bfb848003ce1a3c2dacdc05f5ea..c8bd7ff9f2b78742230a9adc497433574ca76a49 100755 (executable)
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,35 +1,38 @@
-#!/usr/bin/python
+#!/usr/bin/env python
+
+# Copyright (c) 2013-2022. The SimGrid Team.
+# All rights reserved.
+
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of the license (GNU LGPL) which comes with this package.
+

 """
 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.close()
 
 
 f = open(sys.argv[1])
 t = f.read()
 f.close()
 

-r = re.compile(r"0x[0-9a-f]{7}")
+r = re.compile(r"0x[0-9a-f]+")

 s = r.search(t)
 offset = 0
 pointers = {}
 while (s):
 s = r.search(t)
 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:]

-
-
-
-