From 4996ce896685350a35cb9deef2e99b4a89f061c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Sun, 12 Mar 2017 23:57:14 +0100
Subject: [PATCH] Removed irrelevant comment
---
klee_stm_gdb.py | 1 -
1 file changed, 1 deletion(-)
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index d59e056..ab538cf 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -292,7 +292,6 @@ gdb.execute("dashboard -enabled off")
gdb.execute("dashboard -output /dev/null")
""" Also break at the main-loop """
-# AddBreakpoint("finish_execution")
MainBP("finish_execution")
# MainBP("terminate_execution")
--
GitLab