From: Eddie Hung Date: Wed, 19 Jun 2019 17:15:41 +0000 (-0700) Subject: Missing a `clean` and `opt_expr -mux_bool` in test X-Git-Tag: yosys-0.9~51^2~3 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=844c42cef8c7c04fa67653f998ccab0e90532d28;p=yosys.git Missing a `clean` and `opt_expr -mux_bool` in test --- diff --git a/tests/various/muxcover.ys b/tests/various/muxcover.ys index d55a35b8c..8ef619b46 100644 --- 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_