From 5c148a980d0963139b2f21a848e01e6fa59cac45 Mon Sep 17 00:00:00 2001 From: Nadesh Ramanathan Date: Mon, 9 Nov 2020 23:02:31 +0000 Subject: error messaging --- benchmarks/polybench-syn/run-vericert.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index c41332d..2086279 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -18,22 +18,22 @@ while read benchmark ; do #Undefined checks if test -z $veriresult then - echo "FAIL" - exit 0 + echo "FAIL: Verilog returned nothing" + #exit 0 fi # Don't care checks if [ $veriresult == "x" ] then - echo "FAIL" - exit 0 + echo "FAIL: Verilog returned don't cares" + #exit 0 fi # unequal result check if [ $cresult -ne $veriresult ] then - echo "FAIL" - exit 0 + echo "FAIL: Verilog and C output do not match!" + #exit 0 else echo "PASS" fi -- cgit