riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Use "opt -fine" in test/vloght/test_mapopt.sh

This commit is contained in:
Clifford Wolf 2014-07-21 21:39:59 +02:00
parent 137dbf3cf7
commit 0229d68fc9
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/vloghtb/common.sh
View File

@ -28,7 +28,8 @@ test_equiv()
$2
cd ..
miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp gold work miter
miter -equiv -ignore_gold_x -make_outputs -make_outcmp gold work miter
flatten miter
sat $3 -verify -prove trigger 0 -show-inputs -show-outputs miter
EOT
then

2
tests/vloghtb/test_mapopt.sh
View File

@ -6,6 +6,6 @@ source common.sh
f=$1
n=$(basename ${f%.v})
test_equiv mapopt "opt; techmap; opt" "-set-def-inputs" $n $f
test_equiv mapopt "opt -fine; techmap; opt" "-set-def-inputs" $n $f
exit 0