diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-03-01 00:10:06 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-01 00:10:06 +0000 |
| commit | 83fff1638e851256273cd802288577a0c47dca5e (patch) | |
| tree | 062007ed87c9ab4ed6a535c8bff266695fd59d4f | |
| parent | 71fee63bcd943d33c761f228227b1bf8c60c1aac (diff) | |
| download | vericert-83fff1638e851256273cd802288577a0c47dca5e.tar.gz vericert-83fff1638e851256273cd802288577a0c47dca5e.zip | |
Fix benchmark run for master
| -rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index 29f7775..2f8097f 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -8,11 +8,11 @@ while read benchmark ; do ./$benchmark.o > $benchmark.clog cresult=$(cat $benchmark.clog | cut -d' ' -f2) echo "C output: "$cresult - { time ../../bin/vericert -DSYNTHESIS -finline --debug-hls $benchmark.c -o $benchmark.v ; } 2> $benchmark.comp + { time ../../bin/vericert -DSYNTHESIS -finline -fschedule --debug-hls $benchmark.c -o $benchmark.v ; } 2> $benchmark.comp iverilog -o $benchmark.iver -- $benchmark.v ./$benchmark.iver > $benchmark.tmp veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2) - cycles=$(tail -4 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f3) + cycles=$(tail -2 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f2) ctime=$(cat $benchmark.comp | head -2 | tail -1 | xargs | cut -d' ' -f2 | cut -d'm' -f2 | sed 's/s//g') echo "Veri output: "$veriresult |