Fix div_mod test

diff --git a/tests/xilinx/div_mod.ys b/tests/xilinx/div_mod.ys
index 6a4c1e97142fca34e42a7655842cedaed85fc47e..4518db8bf49485ffae71d24054cdbd9d2738493c 100644 (file)
--- a/tests/xilinx/div_mod.ys
+++ b/tests/xilinx/div_mod.ys
@@ -12,6 +12,6 @@ select -assert-count 9  t:LUT5
 select -assert-count 84 t:LUT6
 select -assert-count 65 t:MUXCY
 select -assert-count 39 t:MUXF7
-select -assert-count 9  t:MUXF8
+select -assert-count 15 t:MUXF8
 select -assert-count 28 t:XORCY
 select -assert-none t:LUT1 t:LUT2 t:LUT4 t:LUT5 t:LUT6 t:MUXCY t:MUXF7 t:MUXF8 t:XORCY %% t:* %D