From 8877d8a0e86f0295f80b314e4de55f23fedc206c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Sun, 5 Mar 2017 19:58:28 +0100
Subject: [PATCH] GDB-dashboard workarounds
---
Makefile | 2 +-
klee_stm_gdb.py | 6 +++++-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 1fc22b6..db98873 100644
--- a/Makefile
+++ b/Makefile
@@ -226,7 +226,7 @@ klee: buildrepo $(EXECUTABLE)
klee -emit-all-errors $(IROUT)
run: buildrepo $(EXECUTABLE)
- arm-none-eabi-gdb -batch-silent -q -x klee_stm_gdb.py $(EXECUTABLE)
+ arm-none-eabi-gdb -q -x klee_stm_gdb.py $(EXECUTABLE)
bench: buildrepo $(EXECUTABLE)
make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py klee_profiling.db
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 8ff6e28..9d48346 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -14,7 +14,7 @@ file_index_current = 0
object_index_current = 0
""" Max number of events guard """
-object_index_max = 100
+object_index_max = 10
database_name = "klee_profiling"
@@ -280,6 +280,10 @@ def ktest_iterate():
# AddBreakpoint("main")
MainBP("main")
+""" Tell gdb-dashboard to hide """
+gdb.execute("dashboard -enabled off")
+gdb.execute("dashboard -output /dev/null")
+
""" Also break at the main-loop """
# AddBreakpoint("finish_execution")
MainBP("finish_execution")
--
GitLab