projects
/
yosys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix testcase
[yosys.git]
/
tests
/
various
/
muxpack.ys
diff --git
a/tests/various/muxpack.ys
b/tests/various/muxpack.ys
index ef8a6dab98edd30a4da8a09b2a7b414f150e75d7..de5eec87f525dbd5d919039457e4839e5a8d394a 100644
(file)
--- 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
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
design -save gold
muxpack
-#opt # Do not opt otherwise $pmux's overlapping entry will get removed
+opt
stat
select -assert-count 0 t:$mux
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
design -stash gate
design -import gold -as gold
design -import gate -as gate