diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-23 10:59:15 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-23 10:59:45 +0000 |
| commit | 9b50c163a557f0fed641e7ccbe3dd727fe8b44c9 (patch) | |
| tree | 256cbf526c2602dad5ff4b4e73b05f552d0926ae /benchmarks | |
| parent | 5937f239bf22ee3022e3a35f410fb2abea6dde31 (diff) | |
| download | vericert-9b50c163a557f0fed641e7ccbe3dd727fe8b44c9.tar.gz vericert-9b50c163a557f0fed641e7ccbe3dd727fe8b44c9.zip | |
polybench run-vericert passes args to vericert
Diffstat (limited to 'benchmarks')
| -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 29f7775..aa62a67 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 > $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 $@ --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) |