Add functions for managing the DWT Cycle Counter

klee/tasks.txt

 // autogenerated file
-["EXTI3", "EXTI1", "EXTI2"]
\ No newline at end of file
+["EXTI2", "EXTI3", "EXTI1"]
\ No newline at end of file

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())