3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-11 05:30:53 +00:00

Added "wreduce" to some of the standard test benches

This commit is contained in:
Clifford Wolf 2014-08-03 20:03:16 +02:00
parent 027376515a
commit 358bf70a21
3 changed files with 3 additions and 2 deletions

View file

@ -6,6 +6,6 @@ source common.sh
f=$1
n=$(basename ${f%.v})
test_equiv share "share -aggressive" "-ignore_div_by_zero" $n $f
test_equiv share "wreduce; share -aggressive" "-ignore_div_by_zero" $n $f
exit 0