diff options
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
| -rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index 6ac5cde..bf3e850 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -7,8 +7,9 @@ while read -r benchmark ; do ./"$benchmark".o > "$benchmark".clog cresult="$(cut -d' ' -f2 "$benchmark".clog)" echo "C output: $cresult" - { time ../../bin/vericert -DSYNTHESIS $@ --debug-hls "$benchmark".c -o "$benchmark".v ; } 2> "$benchmark".comp + { time ../../bin/vericert -DSYNTHESIS $@ --debug-hls "$benchmark".c -o "$benchmark".v ; vericert_result=$? ; } 2> "$benchmark".comp iverilog -o "$benchmark".iver -- "$benchmark".v + iverilog_result=$? timeout 1m ./"$benchmark".iver > "$benchmark".tmp if [ $? -eq 124 ]; then @@ -23,6 +24,14 @@ while read -r benchmark ; do if [ -n "$timeout" ]; then echo "FAIL: Verilog timed out" result="timeout" + elif [ "$vericert_result" -ne 0 ]; then + #Undefined + echo "FAIL: Vericert failed" + result="compile error" + elif [ "$iverilog_result" -ne 0 ]; then + #Undefined + echo "FAIL: iverilog failed" + result="elaboration error" elif [ -z "$veriresult" ]; then #Undefined echo "FAIL: Verilog returned nothing" |