RED baseline: add dfatool support

1 files changed, 7 insertions, 0 deletions

diff --git a/RED/support/timer.h b/RED/support/timer.h
index eedc385..5c00213 100755
--- a/RED/support/timer.h
+++ b/RED/support/timer.h
@@ -57,3 +57,10 @@ void stop(Timer *timer, int i) {
 }

 

 void print(Timer *timer, int i, int REP) { printf("Time (ms): %f\t", timer->time[i] / (1000 * REP)); }

+

+void printall(Timer *timer, int maxt) {

+    for (int i = 0; i <= maxt; i++) {

+        printf(" timer%d_us=%f", i, timer->time[i]);

+    }

+    printf("\n");

+}