From 358bf70a2111d476d9d209f216fdd087356ec0d9 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 3 Aug 2014 20:03:16 +0200
Subject: Added "wreduce" to some of the standard test benches

---
 tests/vloghtb/test_share.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/vloghtb')

diff --git a/tests/vloghtb/test_share.sh b/tests/vloghtb/test_share.sh
index da2211624..67cfe44e8 100644
--- a/tests/vloghtb/test_share.sh
+++ b/tests/vloghtb/test_share.sh
@@ -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
-- 
cgit v1.2.3