diff options
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'] |