From 7b881cd894ce908a4b4e2d2ad89f90e39905905a Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Fri, 7 Jan 2022 14:21:00 +0000 Subject: stats: add QCacheHits/Misses --- tools/klee-stats/klee-stats | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'tools') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 18fbe595..b819f69b 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -52,8 +52,10 @@ Legend = [ ('Queries', 'number of queries issued to the constraint solver', "NumQueries"), ('QueryConstructs', '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"), - ('QCexCMisses', 'Counterexample cache misses', "QueryCexCacheMisses"), - ('QCexCHits', 'Counterexample cache hits', "QueryCexCacheHits"), + ('QCacheMisses', 'Query cache misses', "QueryCacheMisses"), + ('QCacheHits', 'Query cache hits', "QueryCacheHits"), + ('QCexCacheMisses', 'Counterexample cache misses', "QueryCexCacheMisses"), + ('QCexCacheHits', 'Counterexample cache hits', "QueryCexCacheHits"), # - memory ('Mem(MiB)', 'mebibytes of memory currently used', "MallocUsage"), ('MaxMem(MiB)', 'maximum memory usage', "MaxMem"), -- cgit 1.4.1