From 24bfe9c054cae90803bc89fe54c1c49988035664 Mon Sep 17 00:00:00 2001 From: Timotej Kapus Date: Thu, 7 Jun 2018 17:18:21 +0100 Subject: Remove sort-by --- tools/klee-stats/klee-stats | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'tools/klee-stats') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 4671cc26..3d43b730 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -323,15 +323,6 @@ def main(): help='Print extra information (needed when ' 'monitoring an ongoing run).') - # arguments for sorting - parser.add_argument('--sort-by', dest='sortBy', metavar='header', - help='Key value to sort by. Must be chosen from ' - 'the headers of the table outputted (e.g., ' - '--sort-by=Instrs).') - parser.add_argument('--ascending', - dest='ascending', action='store_true', - help='Sort in ascending order (default: False).') - # arguments for comparing parser.add_argument('--compare-by', dest='compBy', metavar='header', help='Key value on which to compare runs to the ' @@ -432,10 +423,6 @@ def main(): totalRow = ['Total ({0})'.format(len(table))] totalRow.extend(getRow(totRecords, totStats, pr)) - if args.sortBy: - table = sorted(table, key=itemgetter(getKeyIndex(args.sortBy, labels)), - reverse=(not args.ascending)) - if len(data) > 1: table.append(totalRow) table.insert(0, labels) -- cgit 1.4.1