From aba1066919919bf068b723fca3741be6f3a1de97 Mon Sep 17 00:00:00 2001 From: Nadesh Ramanathan Date: Sun, 15 Nov 2020 11:44:21 +0000 Subject: some fixes --- benchmarks/polybench-syn/run-vericert.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks/polybench-syn/run-vericert.sh') diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index 3be6098..7256235 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 -O0 -finline --debug-hls $benchmark.c -o $benchmark.v + ../../bin/vericert -DSYNTHESIS -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) -- cgit