diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-19 10:15:41 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 19:47:59 -0700 |
| commit | 844c42cef8c7c04fa67653f998ccab0e90532d28 (patch) | |
| tree | 1168fbc814acc9ddc6f99ebd074378ebcbacdfc7 /tests/various/muxcover.ys | |
| parent | 75375a3fbce622b5c4cb6f4464379bb0e66a1107 (diff) | |
| download | yosys-844c42cef8c7c04fa67653f998ccab0e90532d28.tar.gz yosys-844c42cef8c7c04fa67653f998ccab0e90532d28.tar.bz2 yosys-844c42cef8c7c04fa67653f998ccab0e90532d28.zip | |
Missing a `clean` and `opt_expr -mux_bool` in test
Diffstat (limited to 'tests/various/muxcover.ys')
| -rw-r--r-- | tests/various/muxcover.ys | 4 |
1 files changed, 4 insertions, 0 deletions
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_ |