From 03894aa21cc71e92ff32131d76ee1f673c224e1a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Thu, 22 Feb 2018 00:52:47 +0100
Subject: [PATCH] Add functions for managing the DWT Cycle Counter
---
klee/tasks.txt | 2 +-
klee_stm_gdb.py | 15 +++++++++++++++
2 files changed, 16 insertions(+), 1 deletion(-)
diff --git a/klee/tasks.txt b/klee/tasks.txt
index 2544e9f..4427f9c 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 1d0dd26..7fab75c 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())
--
GitLab