From 6bc6adabee048ae57719f21b8878caa3dad76754 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Thu, 6 Jan 2022 18:12:14 +0000 Subject: klee-stats: fix --print-more --- tools/klee-stats/klee-stats | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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'] -- cgit 1.4.1