From 95861dbef966e2cb612b303615681fc29c3acd3d Mon Sep 17 00:00:00 2001
From: Nadesh Ramanathan <nadeshramanathan88@gmail.com>
Date: Wed, 11 Nov 2020 19:47:42 +0000
Subject: polybench edits

---
 benchmarks/polybench-syn/run-vericert.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'benchmarks/polybench-syn/run-vericert.sh')

diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh
index 3e94427..3be6098 100755
--- a/benchmarks/polybench-syn/run-vericert.sh
+++ b/benchmarks/polybench-syn/run-vericert.sh
@@ -4,7 +4,7 @@ top=$(pwd)
  #set up
 while read benchmark ; do
    echo "Running "$benchmark
-   gcc $benchmark.c -o $benchmark.o
+   clang -Wall -Werror -fsanitize=undefined $benchmark.c -o $benchmark.o
    ./$benchmark.o
    cresult=$(echo $?)
    echo "C output: "$cresult
@@ -37,6 +37,6 @@ while read benchmark ; do
    else 
    echo "PASS"
    fi
-
-   echo $cycles > $benchmark.cycle
+   name=$(echo $benchmark | awk -v FS="/" '{print $NF}')
+   echo $name","$cycles >> exec.csv 
 done < benchmark-list-master
-- 
cgit