From ba58e4add3bb2e924b0078146fdcd9b4f6158178 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Fri, 7 Jan 2022 16:28:17 +0000 Subject: stats: rename States -> ActiveStates, add States --- tools/klee-stats/klee-stats | 1 + 1 file changed, 1 insertion(+) (limited to 'tools/klee-stats') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index b08022f4..629095bc 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -45,6 +45,7 @@ Legend = [ ('TQuery(s)', 'time spent in the constraint solver', "QueryTime"), ('TSolver(s)', 'time spent in the solver chain (incl. caches and constraint solver)', "SolverTime"), # - states + ('States', 'number of created states', "States"), ('ActiveStates', 'number of currently active states (0 after successful termination)', "NumStates"), ('MaxActiveStates', 'maximum number of active states', "MaxStates"), ('AvgActiveStates', 'average number of active states', "AvgStates"), -- cgit 1.4.1