diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2018-08-23 10:36:53 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-08-29 22:17:06 +0100 |
| commit | b893d2158ce001da97f2c741ac8320b4c3b9ed53 (patch) | |
| tree | 8ff6c6a7c8599dc9030cf3758fff60f5d7ad8c2d /tools | |
| parent | b6c63f1bca36c303a13bd53b3c4c6948728140d6 (diff) | |
| download | klee-b893d2158ce001da97f2c741ac8320b4c3b9ed53.tar.gz | |
klee-stats: add TResolve(%) to --print-all
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 34afd4c2..7989459f 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -152,7 +152,7 @@ def getLabels(pr): labels = ('Path', 'Instrs', 'Time(s)', 'ICov(%)', 'BCov(%)', 'ICount', 'TSolver(%)', 'States', 'maxStates', 'avgStates', 'Mem(MB)', 'maxMem(MB)', 'avgMem(MB)', 'Queries', 'AvgQC', 'Tcex(%)', - 'Tfork(%)', 'QCexCMisses', 'QCexCHits') + 'Tfork(%)', 'TResolve(%)', 'QCexCMisses', 'QCexCHits') elif pr == 'reltime': labels = ('Path', 'Time(s)', 'TUser(%)', 'TSolver(%)', 'Tcex(%)', 'Tfork(%)', 'TResolve(%)') @@ -185,8 +185,8 @@ def getRow(record, stats, pr): row = (I, Treal, 100 * SCov / (SCov + SUnc), 100 * (2 * BFull + BPart) / (2 * BTot), SCov + SUnc, 100 * Ts / Treal, St, maxStates, avgStates, - Mem, maxMem, avgMem, QTot, AvgQC, - 100 * Tcex / Treal, 100 * Tf / Treal, QCexMiss, QCexHits) + Mem, maxMem, avgMem, QTot, AvgQC, 100 * Tcex / Treal, + 100 * Tf / Treal, 100 * Tr / Treal, QCexMiss, QCexHits) elif pr == 'reltime': row = (Treal, 100 * T / Treal, 100 * Ts / Treal, 100 * Tcex / Treal, 100 * Tf / Treal, |