From 8f5d2d5894bc09555d01fb22b59036786e170b99 Mon Sep 17 00:00:00 2001 From: nella Date: Mon, 22 Jun 2026 11:12:00 +0200 Subject: [PATCH] Use -assert-none. --- tests/various/muxcover_index.ys | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/various/muxcover_index.ys b/tests/various/muxcover_index.ys index 041d497a5..b8a9a2cb0 100644 --- a/tests/various/muxcover_index.ys +++ b/tests/various/muxcover_index.ys @@ -18,8 +18,8 @@ clean opt_expr -mux_bool select -assert-count 2 t:$_MUX8_ -select -assert-count 0 t:$_MUX_ t:$_MUX4_ t:$_MUX16_ -select -assert-count 0 t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_ +select -assert-none t:$_MUX_ t:$_MUX4_ t:$_MUX16_ +select -assert-none t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_ techmap -map +/simcells.v t:$_MUX8_ design -stash gate @@ -47,8 +47,8 @@ clean opt_expr -mux_bool select -assert-count 3 t:$_MUX8_ -select -assert-count 0 t:$_MUX_ t:$_MUX4_ t:$_MUX16_ -select -assert-count 0 t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_ +select -assert-none t:$_MUX_ t:$_MUX4_ t:$_MUX16_ +select -assert-none t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_ techmap -map +/simcells.v t:$_MUX8_ design -stash gate @@ -76,8 +76,8 @@ clean opt_expr -mux_bool select -assert-count 4 t:$_MUX8_ -select -assert-count 0 t:$_MUX_ t:$_MUX4_ t:$_MUX16_ -select -assert-count 0 t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_ +select -assert-none t:$_MUX_ t:$_MUX4_ t:$_MUX16_ +select -assert-none t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_ techmap -map +/simcells.v t:$_MUX8_ design -stash gate