diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-18 22:14:43 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-18 22:14:43 +0000 |
commit | 90ed9c794dadc04259530f7058cd9bc260814d33 (patch) | |
tree | 396e4a931e09d0597fe9979f8c0c1d242d15bd6f /benchmarks/polybench-syn/run-vericert.sh | |
parent | 3c5bd88f22f744e4908afbc5a56e202dfa469360 (diff) | |
download | vericert-90ed9c794dadc04259530f7058cd9bc260814d33.tar.gz vericert-90ed9c794dadc04259530f7058cd9bc260814d33.zip |
Improve the benchmark Makefile
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index ef6964f..9deaa10 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -10,27 +10,31 @@ while read benchmark ; do cresult=$(cat $benchmark.clog | cut -d' ' -f2) #echo "C output: "$cresult #./$benchmark.iver > $benchmark.tmp + if [[ ! -f ./$benchmark.verilator/Vmain ]]; then + echo -e "\e[0;91mFAIL\e[0m: Verilog failed compilation" + continue + fi ./$benchmark.verilator/Vmain > $benchmark.tmp veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2) cycles=$(tail -2 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f2) #echo "Verilog output: "$veriresult #Undefined checks - if test -z $veriresult + if [[ -z "$veriresult" ]] then echo "\e[0;91mFAIL\e[0m: Verilog returned nothing" #exit 0 fi # Don't care checks - if [ $veriresult == "x" ] + if [[ $veriresult == "x" ]] then echo "\e[0;91mFAIL\e[0m: Verilog returned don't cares" #exit 0 fi # unequal result check - if [ $cresult -ne $veriresult ] + if [[ $cresult -ne $veriresult ]] then echo -e "\e[0;91mFAIL\e[0m: Verilog and C output do not match!" #exit 0 |