From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 21 Jun 2019 19:13:00 +0000 (-0700)
Subject: Fix testcase
X-Git-Tag: yosys-0.9~48^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae8305ffcc0c812488163bcc35365d473ce1345d;p=yosys.git

Fix testcase
---

diff --git a/tests/various/muxpack.ys b/tests/various/muxpack.ys
index ef8a6dab9..de5eec87f 100644
--- a/tests/various/muxpack.ys
+++ b/tests/various/muxpack.ys
@@ -230,13 +230,14 @@ sat -verify -prove-asserts -show-ports miter
 
 design -load read
 hierarchy -top case_overlap
-prep
+#prep # Do not prep otherwise $pmux's overlapping entry will get removed
+proc
 design -save gold
 muxpack
-#opt # Do not opt otherwise $pmux's overlapping entry will get removed
+opt
 stat
 select -assert-count 0 t:$mux
-select -assert-count 1 t:$pmux
+select -assert-count 2 t:$pmux
 design -stash gate
 design -import gold -as gold
 design -import gate -as gate