diff --git a/Makefile b/Makefile
index 6d5d32b8ca03afb641164ae5072415b959e39922..1fc22b65f2d8ce31000fadf5f2faa1a8c9660bd9 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); \