From 855d33173cae9fd43899a6a96a58f79563560cce Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Fri, 7 Jan 2022 16:09:10 +0000 Subject: stats: rename numQueries/Queries -> SolverQueries, add Queries --- tools/klee-stats/klee-stats | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'tools/klee-stats') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index be30a0ca..5e49587b 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -50,8 +50,9 @@ Legend = [ ('AvgActiveStates', 'average number of active states', "AvgStates"), ('InhibitedForks', 'number of inhibited state forks due to e.g. memory pressure', "InhibitedForks"), # - constraint caching/solving - ('Queries', 'number of queries issued to the constraint solver', "NumQueries"), - ('QueryConstructs', 'number of query constructs for all queries send to the constraint solver', "NumQueryConstructs"), + ('Queries', 'number of queries issued to the solver chain', "Queries"), + ('SolverQueries', 'number of queries issued to the constraint solver', "SolverQueries"), + ('SolverQueryConstructs', 'number of query constructs for all queries send to the constraint solver', "NumQueryConstructs"), ('AvgSolverQuerySize', 'average number of query constructs per query issued to the constraint solver', "AvgQC"), ('QCacheMisses', 'Query cache misses', "QueryCacheMisses"), ('QCacheHits', 'Query cache hits', "QueryCacheHits"), -- cgit 1.4.1