diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-09 22:53:34 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-09 22:53:34 +0000 |
commit | 51de50be36b3d092212e6d8a446ec3c8c3ccfc9d (patch) | |
tree | f00ce2fedbb14454e66829c19e7a47436bdb0c2b /benchmarks/polybench-syn/run-vericert.sh | |
parent | c676092e38d00cf12ea5a063ca3ab8c5bb50f659 (diff) | |
download | vericert-51de50be36b3d092212e6d8a446ec3c8c3ccfc9d.tar.gz vericert-51de50be36b3d092212e6d8a446ec3c8c3ccfc9d.zip |
added some checks
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 17 |
1 files changed, 17 insertions, 0 deletions
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 |