diff options
| author | Tipwheal <674714966@qq.com> | 2019-01-06 21:36:10 +0800 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-01-07 09:16:58 +0000 |
| commit | b845877a9d883636751d35ee96f2d4c14d57d5d6 (patch) | |
| tree | e6b7fc9c698e01057229c0e19b478f7b1caeffd1 | |
| parent | 984e99d50dc906dfd7f503029964b771935714b0 (diff) | |
| download | klee-b845877a9d883636751d35ee96f2d4c14d57d5d6.tar.gz | |
fix a bug in a function call
the function name is "getTreeStream" but here's a spelling error
| -rw-r--r-- | utils/hacks/TreeGraphs/DumpTreeStream.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/hacks/TreeGraphs/DumpTreeStream.py b/utils/hacks/TreeGraphs/DumpTreeStream.py index 0b3f0ee1..0fc6f36c 100644 --- a/utils/hacks/TreeGraphs/DumpTreeStream.py +++ b/utils/hacks/TreeGraphs/DumpTreeStream.py @@ -32,7 +32,7 @@ def getTreeStream(path): return paths def writeTreeStream(path, output): - paths = getTreeSTream(path) + paths = getTreeStream(path) print 'Writing %d paths'%len(paths) for i,data in paths.items(): if i!=0: |