X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/408f99bb2d97eaf693af4f803158eb7a015a5a85..5dc6f3c7fb898d0b145d63384f013410fd042a59:/tools/normalize-pointers.py

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index a1fc506f5d..04049fa48f 100755
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,4 +1,18 @@
 #!/usr/bin/python
+
+# Copyright (c) 2013-2014. 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, ...
+
+"""
+
 import sys, re
 
 if len(sys.argv)!=2:
@@ -9,7 +23,7 @@ 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 = {}