projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
75375a3
)
Missing a `clean` and `opt_expr -mux_bool` in test
author
Eddie Hung
<eddie@fpgeh.com>
Wed, 19 Jun 2019 17:15:41 +0000
(10:15 -0700)
committer
Eddie Hung
<eddie@fpgeh.com>
Fri, 21 Jun 2019 02:47:59 +0000
(19:47 -0700)
tests/various/muxcover.ys
patch
|
blob
|
history
diff --git
a/tests/various/muxcover.ys
b/tests/various/muxcover.ys
index d55a35b8ce7410ad89e7d6e50ec6c1db74e469bc..8ef619b4607b73159b8aac43b480449c8c92b322 100644
(file)
--- a/
tests/various/muxcover.ys
+++ b/
tests/various/muxcover.ys
@@
-115,6
+115,8
@@
design -save gold
techmap
muxcover -mux4=150 -mux8=200
+clean
+opt_expr -mux_bool
select -assert-count 0 t:$_MUX_
select -assert-count 0 t:$_MUX4_
select -assert-count 1 t:$_MUX8_
@@
-171,6
+173,8
@@
design -save gold
techmap
muxcover -mux4=150 -mux8=200 -mux16=250
+clean
+opt_expr -mux_bool
select -assert-count 0 t:$_MUX_
select -assert-count 0 t:$_MUX4_
select -assert-count 0 t:$_MUX8_