From c2385ce84481d10809aa4f26a0ca1643d2a6b8b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Tue, 18 Apr 2017 15:54:10 +0200
Subject: [PATCH] Disabled gdb-dashboard and try connecting on openocd on any
interface
---
.gdbinit | 2 +-
klee_stm_gdb.py | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gdbinit b/.gdbinit
index 80a9695..ffb916c 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -17,7 +17,7 @@ end
-target extended localhost:3333
+target extended 0.0.0.0:3333
monitor reset init
set remote hardware-breakpoint-limit 6
set remote hardware-watchpoint-limit 4
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 01cd723..3b38aeb 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -294,8 +294,8 @@ MainBP("main")
""" Tell gdb-dashboard to hide """
-gdb.execute("dashboard -enabled off")
-gdb.execute("dashboard -output /dev/null")
+# gdb.execute("dashboard -enabled off")
+# gdb.execute("dashboard -output /dev/null")
""" Also break at the main-loop """
MainBP("finish_execution")
--
GitLab