From b893d2158ce001da97f2c741ac8320b4c3b9ed53 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Thu, 23 Aug 2018 10:36:53 +0100 Subject: klee-stats: add TResolve(%) to --print-all --- tools/klee-stats/klee-stats | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools') 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, -- cgit 1.4.1