From 13a14eaf4af27089c251032951ce8410ad9b0a61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Sun, 5 Mar 2017 19:51:47 +0100
Subject: [PATCH] Added automation for makefile
---
Makefile | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 6d5d32b..1fc22b6 100644
--- a/Makefile
+++ b/Makefile
@@ -226,7 +226,10 @@ klee: buildrepo $(EXECUTABLE)
klee -emit-all-errors $(IROUT)
run: buildrepo $(EXECUTABLE)
- arm-none-eabi-gdb -q -x klee_stm_gdb.py $(EXECUTABLE)
+ arm-none-eabi-gdb -batch-silent -q -x klee_stm_gdb.py $(EXECUTABLE)
+
+bench: buildrepo $(EXECUTABLE)
+ make clean; make; make klee; make clean; make wcet; make run; python profiling_db_parser.py klee_profiling.db
define make-repo
for dir in $(SRCDIRS); \
--
GitLab