From 38b249970456a55f0a69ff28070887367e113205 Mon Sep 17 00:00:00 2001
From: Nadesh Ramanathan <nadeshramanathan88@gmail.com>
Date: Tue, 17 Nov 2020 09:06:04 +0000
Subject: final checks reworked and including compilation time in script

---
 benchmarks/polybench-syn/medley/floyd-warshall.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'benchmarks/polybench-syn/medley/floyd-warshall.c')

diff --git a/benchmarks/polybench-syn/medley/floyd-warshall.c b/benchmarks/polybench-syn/medley/floyd-warshall.c
index 48a7e8d..e840082 100644
--- a/benchmarks/polybench-syn/medley/floyd-warshall.c
+++ b/benchmarks/polybench-syn/medley/floyd-warshall.c
@@ -11,6 +11,10 @@
 
 #include "../include/misc.h"
 
+#ifndef SYNTHESIS
+  #include <stdio.h>
+#endif
+
 #define plus(i) i = i + ONE
 static
 void init_array (int n,
@@ -44,6 +48,9 @@ int print_array(int n,
     for (j = 0; j < n; plus(j)) {
       res ^= path[i][j];
     }
+#ifndef SYNTHESIS
+  printf("finished %u\n", res);
+#endif
   return res;
 }
 
-- 
cgit