From 2711166e2806cab2862ce3b5ebf094e84f1a2650 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Mon, 1 Nov 2021 19:03:19 +0000 Subject: klee-stats: order remaining columns alphabetically --- tools/klee-stats/klee-stats | 1 + 1 file changed, 1 insertion(+) (limited to 'tools/klee-stats') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index a9a70291..4b8858d6 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -363,6 +363,7 @@ def write_table(args, data, dirs, pr): if l_name in available_headers: headers.append(l_name) available_headers.remove(l_name) + available_headers.sort() headers += available_headers # Make sure we keep the correct order of the column entries -- cgit 1.4.1