#!/usr/bin/env python
-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2018. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
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()
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:]
-
-
-
-