From 5e640550748730a2e81534e3f82a95ef3dce655b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Sun, 5 Mar 2017 21:37:19 +0100
Subject: [PATCH] Changed name to job instead of task, parse event_job
---
Makefile | 2 +-
klee_stm_gdb.py | 9 +++++----
2 files changed, 6 insertions(+), 5 deletions(-)
diff --git a/Makefile b/Makefile
index db98873..7e5433d 100644
--- a/Makefile
+++ b/Makefile
@@ -50,7 +50,7 @@ DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM
else ifeq "$(MAKECMDGOALS)" "wcet"
DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM -DKLEE_WCET
else
-DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DKLEE
+DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DKLEE
endif
# Definitions
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 14fe4cf..f6ab1c5 100644
--- a/klee_stm_gdb.py
+++ b/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)
--
GitLab