diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-26 20:29:04 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-26 20:29:04 +0000 |
| commit | 4fcf6a3c9b87b02d73b6a2f55c17573ca7fc5bbc (patch) | |
| tree | debf6caf7ae1341d3dfce23bbdf3400a98516853 | |
| parent | bdc51567080a00a83c5d8d1ded8091a78ee7f50b (diff) | |
| download | klee-4fcf6a3c9b87b02d73b6a2f55c17573ca7fc5bbc.tar.gz | |
Tweak objdump script, kcachegrind has gotten stricter about its parsing.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77168 91177308-0d34-0410-b5e6-96231b3b80d8
| -rwxr-xr-x | scripts/objdump | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/objdump b/scripts/objdump index 45fe6384..ff055697 100755 --- a/scripts/objdump +++ b/scripts/objdump @@ -22,7 +22,7 @@ def fakeObjdumpOutput(file, start, end): lines = open(file).readlines() for i in range(max(0,start-1),min(end-1,len(lines))): - print '%x: _ %s'%(i+1,lines[i]) + print '%x:\t00 00\t%s'%(i+1,lines[i]) def main(args): # exact pattern match kcachegrind's calling sequence |