diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-10 09:41:09 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-10 09:41:09 +0000 |
commit | 3c3413c288a8ab211c4793aaf3f9c3e6f4063aec (patch) | |
tree | ec0cb51f99f2789a54dbff28c04b051e4b1963ce /benchmarks/polybench-syn/run-vericert.sh | |
parent | 5c148a980d0963139b2f21a848e01e6fa59cac45 (diff) | |
download | vericert-3c3413c288a8ab211c4793aaf3f9c3e6f4063aec.tar.gz vericert-3c3413c288a8ab211c4793aaf3f9c3e6f4063aec.zip |
adding flag
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index 2086279..3e94427 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -8,7 +8,7 @@ while read benchmark ; do ./$benchmark.o cresult=$(echo $?) echo "C output: "$cresult - ../../bin/vericert --debug-hls $benchmark.c -o $benchmark.v + ../../bin/vericert -O0 -finline --debug-hls $benchmark.c -o $benchmark.v iverilog -o $benchmark.iver -- $benchmark.v ./$benchmark.iver > $benchmark.tmp veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2) |