diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-07 14:21:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-23 17:41:08 +0000 |
| commit | 7b881cd894ce908a4b4e2d2ad89f90e39905905a (patch) | |
| tree | 9435f3efab1d928440e42261ee47044b52b5dd1e /tools | |
| parent | fc3c937892998b984a59cfa740244952ff6071b9 (diff) | |
| download | klee-7b881cd894ce908a4b4e2d2ad89f90e39905905a.tar.gz | |
stats: add QCacheHits/Misses
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 6 |
1 files changed, 4 insertions, 2 deletions
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"), |