Changed name to job instead of task, parse event_job

klee_stm_gdb.py

@@ -13,9 +13,6 @@ file_list = []
 file_index_current = 0
 object_index_current = 0
 
-""" For running different programs during WCET-benchmarking """
-wcet_task = 1
-
 """ Max number of events guard """
 object_index_max = 100
 
@@ -182,6 +179,10 @@ def posted_event_finish_execution():
                                           str(object_index_current) +
                                           "].action")
 
+        """ Parse which running job is active """
+
+        event_job = gdb.parse_and_eval("job")
+
         """
         print("file: %r " % str(file_list[file_index_current]))
         print("time: %r " % int(event_time))
@@ -195,7 +196,7 @@ def posted_event_finish_execution():
         event.append(int(event_time))
         event.append(str(event_resource))
         event.append(str(event_action))
-        event.append(str(wcet_task))
+        event.append("j" + str(event_job))
 
         print("Event: %r " % event)