Merge branch 'klee' of git@gitlab.henriktjader.com:d7020e/d7020e_srp.git into klee

README.md

@@ -9,6 +9,25 @@ cd ~/workspace
 git clone https://gitlab.henriktjader.com/d7020e/d7020e_srp.git
 ```
 
+The code for KLEE-analysis is aquired by running:
+
+```
+git checkout klee
+```
+
+## Command Line setup
+
+Shorthand for running with KLEE-analysis is
+
+```
+make bench
+```
+
+Please inspect the Makefile if you are curious how this is done.
+
+
+## Eclipse setup
+
 Start eclipse through the window manager
 
 Import project to eclipse, 

profiling_db_parser.py

@@ -148,7 +148,7 @@ def print_db_ktest():
         c.execute('SELECT DISTINCT job FROM events WHERE (file=?)',
                   (filename,))
         job = c.fetchall()
-        print("Job: j%s" % job)
+        print("Job: %s" % job[0])
 
         """ Go through the unique list of resources