From: Sergey <37293587+SergeyDegtyar@users.noreply.github.com>
Date: Thu, 12 Sep 2019 10:58:49 +0000 (+0300)
Subject: Fix div_mod test
X-Git-Tag: working-ls180~990^2~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=68f9239c5758e4f48dc290871cf108f85d5f5387;p=yosys.git

Fix div_mod test
---

diff --git a/tests/xilinx/div_mod.ys b/tests/xilinx/div_mod.ys
index c5855f1dd..6a4c1e971 100644
--- a/tests/xilinx/div_mod.ys
+++ b/tests/xilinx/div_mod.ys
@@ -11,7 +11,7 @@ select -assert-count 12 t:LUT4
 select -assert-count 9  t:LUT5
 select -assert-count 84 t:LUT6
 select -assert-count 65 t:MUXCY
-select -assert-count 36 t:MUXF7
+select -assert-count 39 t:MUXF7
 select -assert-count 9  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