Skip to content
Snippets Groups Projects
Commit 4de263a0 authored by Henrik Tjäder's avatar Henrik Tjäder
Browse files

Sort max-exec time list

parent 81c45e0f
No related branches found
No related tags found
No related merge requests found
...@@ -3,6 +3,7 @@ import sys ...@@ -3,6 +3,7 @@ import sys
import struct import struct
import sqlite3 import sqlite3
import argparse import argparse
from operator import itemgetter
version_no = 3 version_no = 3
...@@ -10,6 +11,8 @@ file_list = [] ...@@ -10,6 +11,8 @@ file_list = []
file_index_current = 0 file_index_current = 0
object_index_current = 0 object_index_current = 0
event_list = []
database_name = "klee_profiling.db" database_name = "klee_profiling.db"
""" Check if a database exists, otherwise create one """ """ Check if a database exists, otherwise create one """
...@@ -168,9 +171,11 @@ def print_db_ktest(): ...@@ -168,9 +171,11 @@ def print_db_ktest():
while x < claims: while x < claims:
print("Number of instructions taken for %s: %d" print("Number of instructions taken for %s: %d"
% (res[0], rows[x+1][0] - rows[x][0])) % (res[0], rows[x+1][0] - rows[x][0]))
event_list.append((res[0], rows[x+1][0] - rows[x][0]))
x += 2 x += 2
print("\n") print("\n")
# print(event_list)
if __name__ == '__main__': if __name__ == '__main__':
...@@ -186,3 +191,4 @@ if __name__ == '__main__': ...@@ -186,3 +191,4 @@ if __name__ == '__main__':
file_list = ktest_iterate() file_list = ktest_iterate()
print_db_ktest() print_db_ktest()
print(sorted(event_list, key=itemgetter(1)))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment