From: Patrick Urban <patrick.urban@web.de>
Date: Mon, 11 Oct 2021 08:31:03 +0000 (+0200)
Subject: synth_gatemate: Fix fsm test
X-Git-Tag: yosys-0.12~22
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76bf96d310659864c47838aa5e0f43cdfe2bc3e6;p=yosys.git

synth_gatemate: Fix fsm test
---

diff --git a/tests/arch/gatemate/fsm.ys b/tests/arch/gatemate/fsm.ys
index 39b74c9e0..6e3e3a1be 100644
--- a/tests/arch/gatemate/fsm.ys
+++ b/tests/arch/gatemate/fsm.ys
@@ -14,7 +14,7 @@ cd fsm # Constrain all select calls below inside the top module
 
 select -assert-count 1 t:CC_BUFG
 select -assert-count 6 t:CC_DFF
-select -assert-count 3 t:CC_LUT2
-select -assert-count 4 t:CC_LUT3
+select -assert-count 4 t:CC_LUT2
+select -assert-count 2 t:CC_LUT3
 select -assert-count 8 t:CC_LUT4
 select -assert-none t:CC_BUFG t:CC_DFF t:CC_LUT2 t:CC_LUT3 t:CC_LUT4 %% t:* %D