From 4de263a00771e598a10a44e3941b8a489ca7edd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 6 Mar 2017 14:50:31 +0100
Subject: [PATCH] Sort max-exec time list
---
profiling_db_parser.py | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/profiling_db_parser.py b/profiling_db_parser.py
index af66036..23d32a6 100644
--- a/profiling_db_parser.py
+++ b/profiling_db_parser.py
@@ -3,6 +3,7 @@ import sys
import struct
import sqlite3
import argparse
+from operator import itemgetter
version_no = 3
@@ -10,6 +11,8 @@ file_list = []
file_index_current = 0
object_index_current = 0
+event_list = []
+
database_name = "klee_profiling.db"
""" Check if a database exists, otherwise create one """
@@ -168,9 +171,11 @@ def print_db_ktest():
while x < claims:
print("Number of instructions taken for %s: %d"
% (res[0], rows[x+1][0] - rows[x][0]))
+ event_list.append((res[0], rows[x+1][0] - rows[x][0]))
x += 2
print("\n")
+ # print(event_list)
if __name__ == '__main__':
@@ -186,3 +191,4 @@ if __name__ == '__main__':
file_list = ktest_iterate()
print_db_ktest()
+ print(sorted(event_list, key=itemgetter(1)))
--
GitLab