diff --git a/profiling_db_parser.py b/profiling_db_parser.py index af66036a9d77b572c8a4ad242646233449812913..23d32a658a7e19d9d4202218a6f921e4e32d75fa 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)))