From 7ecee8025b5368bde7d53600d37b27ec601acc17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 21 Feb 2018 22:59:04 +0100
Subject: [PATCH] Remove some debug prints
---
klee/tasks.txt | 2 +-
klee_stm_gdb.py | 8 ++++----
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/klee/tasks.txt b/klee/tasks.txt
index b2f6e50..2544e9f 100644
--- a/klee/tasks.txt
+++ b/klee/tasks.txt
@@ -1,2 +1,2 @@
// autogenerated file
-["EXTI3", "EXTI2", "EXTI1"]
\ No newline at end of file
+["EXTI3", "EXTI1", "EXTI2"]
\ No newline at end of file
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 2e3c869..1d0dd26 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -138,11 +138,11 @@ class MainBP(gdb.Breakpoint):
gdb.write("Breakpoint in loop()\n")
gdb.prompt_hook = prompt
- print("Tasks: ", tasks)
- print("Name of task to test:", tasks[task_to_test])
+ # print("Tasks: ", tasks)
+ # print("Name of task to test:", tasks[task_to_test])
if not task_to_test == -1:
- gdb.write('Task to call: %s \n' % "stub_" +
- tasks[task_to_test])
+ gdb.write('Task to call: %s \n' % ("stub_" +
+ tasks[task_to_test]))
gdb.execute('call %s' % "stub_" +
tasks[task_to_test] + "()")
else:
--
GitLab