diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 18:41:29 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 18:41:29 +0000 |
commit | a8d8d518a25e0f62f089344c6a888daf9f301958 (patch) | |
tree | 11fe4e6f5a406ffcd09cbc1b3bddfa4ccbadcda8 /benchmarks | |
parent | a77b033fb57cdb9571a8cfd0aba2164437d57662 (diff) | |
download | vericert-a8d8d518a25e0f62f089344c6a888daf9f301958.tar.gz vericert-a8d8d518a25e0f62f089344c6a888daf9f301958.zip |
Add details to polybench runner csv
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 |