diff --git a/tests/arch/quicklogic/qlf_k6n10f/mux.ys b/tests/arch/quicklogic/qlf_k6n10f/mux.ys
index 97e25cab0..633b5fc86 100644
--- a/tests/arch/quicklogic/qlf_k6n10f/mux.ys
+++ b/tests/arch/quicklogic/qlf_k6n10f/mux.ys
@@ -36,4 +36,5 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
 cd mux16 # Constrain all select calls below inside the top module
 select -assert-max 5 t:$lut r:WIDTH=6 %i # OOT flow does 2
 select -assert-max 1 t:$lut r:WIDTH=3 %i # and here 1
-select -assert-none t:$lut r:WIDTH=6 r:WIDTH=3 %u %i %% t:* %D
+select -assert-max 1 t:$lut r:WIDTH=4 r:WIDTH=5 %u %i
+select -assert-none t:$lut r:WIDTH>2 %i %% t:* %D