From a5887760df521c09ec2f897635f4ff6a9978ac06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Wed, 21 Feb 2018 22:47:55 +0100
Subject: [PATCH] Fixed copy paste and formatting

---
 examples/resource.rs | 4 ++--
 klee_stm_gdb.py      | 6 ++++--
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/examples/resource.rs b/examples/resource.rs
index ad91efb..24c6f15 100644
--- a/examples/resource.rs
+++ b/examples/resource.rs
@@ -115,8 +115,8 @@ fn stub_EXTI3() {
 fn idle() -> ! {
     readbasepri();
     stub_EXTI1();
-    stub_EXTI1();
-    stub_EXTI1();
+    stub_EXTI2();
+    stub_EXTI3();
 
     loop {
         rtfm::nop();
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 03c5318..2e3c869 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -141,8 +141,10 @@ class MainBP(gdb.Breakpoint):
             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' % tasks[task_to_test])
-                gdb.execute('call %s' % 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:
                 print("No task defined")
                 """
-- 
GitLab