diff options
| author | Jordy Ruiz <jruiz@ic.ac.uk> | 2021-04-23 17:00:36 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-04-29 16:01:21 +0100 |
| commit | 636f020de2b3d0711166f337d0ae6f8f822449b8 (patch) | |
| tree | 7ac5de93423e6f129a693e30606a417ebfe47f1b | |
| parent | abdb0b650b8fce419dc5695e037557708f374021 (diff) | |
| download | klee-636f020de2b3d0711166f337d0ae6f8f822449b8.tar.gz | |
Fix erroneous klee-stats legend for --print-all
Only absolute times were displayed, and were marked as %. Fixes CexCacheTime, ForkTime and ResolveTime columns.
| -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"), ] |