1 files changed, 7 insertions, 0 deletions
diff --git a/TRNS/support/timer.h b/TRNS/support/timer.h
index b53d95f..4d597b9 100755
--- a/TRNS/support/timer.h
+++ b/TRNS/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");
+}