diff --git a/klee/tasks.txt b/klee/tasks.txt index b2f6e50527d23c27db6aa5633a36ddfcbb3ea947..2544e9f81e728f570f01d1944d06679064b8571a 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 2e3c86975348cdc3dcd4c11018abec1a638b5290..1d0dd261ee55c526feca2bf9454564a84d545943 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: