diff options
Diffstat (limited to 'benchmarks')
-rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index a54154d..16214fc 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -22,18 +22,23 @@ while read -r benchmark ; do if [ -n "$timeout" ]; then echo "FAIL: Verilog timed out" + result="timeout" elif [ -z "$veriresult" ]; then #Undefined echo "FAIL: Verilog returned nothing" + result="timeout" elif [ "$veriresult" == "x" ]; then # Don't care echo "FAIL: Verilog returned don't cares" + result="dontcare" elif [ "$cresult" -ne "$veriresult" ]; then # unequal result echo "FAIL: Verilog and C output do not match!" + result="incorrect result" else echo "PASS" + result="pass" fi name=$(echo "$benchmark" | awk -v FS="/" '{print $NF}') - echo "$name,$cycles,$ctime" >> exec.csv + echo "$name,$cycles,$ctime,$result,$cresult,$veriresult" >> exec.csv done < benchmark-list-master |