diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 6 |
1 files 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"), ] |