From 636f020de2b3d0711166f337d0ae6f8f822449b8 Mon Sep 17 00:00:00 2001 From: Jordy Ruiz Date: Fri, 23 Apr 2021 17:00:36 +0200 Subject: Fix erroneous klee-stats legend for --print-all Only absolute times were displayed, and were marked as %. Fixes CexCacheTime, ForkTime and ResolveTime columns. --- tools/klee-stats/klee-stats | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 5028435c..a9a70291 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -38,11 +38,11 @@ Legend = [ ('Queries', 'number of queries issued to STP', "NumQueries"), ('AvgQC', 'average number of query constructs per query', "AvgQC"), ('Tcex(s)', 'time spent in the counterexample caching code', "CexCacheTime"), - ('Tcex(%)', 'relative time spent in the counterexample caching code wrt wall time', "CexCacheTime"), + ('Tcex(%)', 'relative time spent in the counterexample caching code wrt wall time', "RelCexCacheTime"), ('Tfork(s)', 'time spent forking', "ForkTime"), - ('Tfork(%)', 'relative time spent forking wrt wall time', "ForkTime"), + ('Tfork(%)', 'relative time spent forking wrt wall time', "RelForkTime"), ('TResolve(s)', 'time spent in object resolution', "ResolveTime"), - ('TResolve(%)', 'time spent in object resolution wrt wall time', "ResolveTime"), + ('TResolve(%)', 'time spent in object resolution wrt wall time', "RelResolveTime"), ('QCexCMisses', 'Counterexample cache misses', "QueryCexCacheMisses"), ('QCexCHits', 'Counterexample cache hits', "QueryCexCacheHits"), ] -- cgit 1.4.1