diff --git a/klee/tasks.txt b/klee/tasks.txt
index 2544e9f81e728f570f01d1944d06679064b8571a..4427f9cd78222d49ef72dfaa961acb383408715c 100644
--- a/klee/tasks.txt
+++ b/klee/tasks.txt
@@ -1,2 +1,2 @@
 // autogenerated file
-["EXTI3", "EXTI1", "EXTI2"]
\ No newline at end of file
+["EXTI2", "EXTI3", "EXTI1"]
\ No newline at end of file
diff --git a/klee_stm_gdb.py b/klee_stm_gdb.py
index 1d0dd261ee55c526feca2bf9454564a84d545943..7fab75cbaef5620ad0be9b41db4d469e27d9b561 100644
--- a/klee_stm_gdb.py
+++ b/klee_stm_gdb.py
@@ -392,6 +392,21 @@ def klee_run():
     call(klee_cmd, shell=True)
 
 
+def gdb_cyccnt_enable():
+    # Enable cyccnt
+    gdb.execute("mon mww 0xe0001000 1")
+
+
+def gdb_cyccnt_disable():
+    # Disble cyccnt
+    gdb.execute("mon mww 0xe0001000 0")
+
+
+def gdb_cyccnt_reset():
+    # Reset cycle counter to 0
+    gdb.execute("mon mww 0xe0001004 0")
+
+
 """ Run KLEE on the generated files """
 # print(klee_run())