fixup! quicklogic: Add basic k6n10f tests

YosysHQ · Nov 30, 2023 · d11a85f · d11a85f
1 parent 193144e
commit d11a85f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/arch/quicklogic/qlf_k6n10f/mux.ys b/tests/arch/quicklogic/qlf_k6n10f/mux.ys
@@ -35,5 +35,5 @@ equiv_opt -assert -map +/quicklogic/qlf_k6n10f/cells_sim.v -map +/quicklogic/com
 design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
 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-count 0 t:$lut r:WIDTH=3 %i # and here 1
+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