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

GDB-dashboard workarounds

parent 13a14eaf
Branches
No related tags found
No related merge requests found
...@@ -226,7 +226,7 @@ klee: buildrepo $(EXECUTABLE) ...@@ -226,7 +226,7 @@ klee: buildrepo $(EXECUTABLE)
klee -emit-all-errors $(IROUT) klee -emit-all-errors $(IROUT)
run: buildrepo $(EXECUTABLE) 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) bench: buildrepo $(EXECUTABLE)
make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py klee_profiling.db make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py klee_profiling.db
......
...@@ -14,7 +14,7 @@ file_index_current = 0 ...@@ -14,7 +14,7 @@ file_index_current = 0
object_index_current = 0 object_index_current = 0
""" Max number of events guard """ """ Max number of events guard """
object_index_max = 100 object_index_max = 10
database_name = "klee_profiling" database_name = "klee_profiling"
...@@ -280,6 +280,10 @@ def ktest_iterate(): ...@@ -280,6 +280,10 @@ def ktest_iterate():
# AddBreakpoint("main") # AddBreakpoint("main")
MainBP("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 """ """ Also break at the main-loop """
# AddBreakpoint("finish_execution") # AddBreakpoint("finish_execution")
MainBP("finish_execution") MainBP("finish_execution")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment