From 51de50be36b3d092212e6d8a446ec3c8c3ccfc9d Mon Sep 17 00:00:00 2001
From: Nadesh Ramanathan <nadeshramanathan88@gmail.com>
Date: Mon, 9 Nov 2020 22:53:34 +0000
Subject: added some checks

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

(limited to 'benchmarks')

diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh
index 38b425f..c41332d 100755
--- a/benchmarks/polybench-syn/run-vericert.sh
+++ b/benchmarks/polybench-syn/run-vericert.sh
@@ -14,6 +14,22 @@ while read benchmark ; do
    veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2)
    cycles=$(tail -4 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f3)
    echo "Veri output: "$veriresult
+  
+   #Undefined checks
+   if test -z $veriresult 
+   then
+   echo "FAIL"
+   exit 0
+   fi
+   
+   # Don't care checks
+   if [ $veriresult == "x" ] 
+   then
+   echo "FAIL"
+   exit 0
+   fi
+  
+  # unequal result check
    if [ $cresult -ne $veriresult ] 
    then 
    echo "FAIL"
@@ -21,5 +37,6 @@ while read benchmark ; do
    else 
    echo "PASS"
    fi
+
    echo $cycles > $benchmark.cycle
 done < benchmark-list-master
-- 
cgit