From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 18 Jan 2015 12:24:01 +0000 (+0100)
Subject: improvements in muxtree/select_leaves test
X-Git-Tag: yosys-0.5~86
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=694cc01f1de8e0d7db7c5e03cb93796430c6ca5b;p=yosys.git

improvements in muxtree/select_leaves test
---

diff --git a/tests/simple/muxtree.v b/tests/simple/muxtree.v
index 46c78d4cf..1fb1cea5e 100644
--- a/tests/simple/muxtree.v
+++ b/tests/simple/muxtree.v
@@ -73,8 +73,11 @@ endmodule
 
 // test case for muxtree with select on leaves
 
-module select_leaves(input C, D, output reg Q);
+module select_leaves(input R, C, D, output reg Q);
 	always @(posedge C)
-		Q <= Q ? Q : D ? 1'b1 : Q;
+		if (!R)
+			Q <= R;
+		else
+			Q <= Q ? Q : D ? D : Q;
 endmodule