about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/klee-stats/klee-stats2
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']