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

Fix div_mod test
---

diff --git a/tests/xilinx/div_mod.ys b/tests/xilinx/div_mod.ys
index 6a4c1e971..4518db8bf 100644
--- 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