diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-06 18:12:14 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-07 12:46:01 +0000 |
| commit | 6bc6adabee048ae57719f21b8878caa3dad76754 (patch) | |
| tree | bdc1ea6da851fec9f3c7ee26535d4365c1fb2cae /tools | |
| parent | 486a6bccfc9e7a5d8bb451725eaab440c767de14 (diff) | |
| download | klee-6bc6adabee048ae57719f21b8878caa3dad76754.tar.gz | |
klee-stats: fix --print-more
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 4d191c00..b3673c7e 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -145,7 +145,7 @@ def select_columns(record, pr): 'CexCacheTime', 'ForkTime', 'ResolveTime'] elif pr == 'more': s_column = ['Path', 'Instructions', 'WallTime', 'ICov', 'BCov', 'ICount', - 'RelSolverTime', 'States', 'maxStates', 'MallocUsage', 'maxMem'] + 'RelSolverTime', 'NumStates', 'MaxStates', 'MallocUsage', 'MaxMem'] else: s_column = ['Path', 'Instructions', 'WallTime', 'ICov', 'BCov', 'ICount', 'RelSolverTime'] |