From: whitequark <whitequark@whitequark.org>
Date: Thu, 6 Feb 2020 18:10:15 +0000 (+0000)
Subject: test_lib_fifo: define all referenced FSM states.
X-Git-Tag: v0.2~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9301e31b69a7c37c42f33e6cba5f3f37bc97402f;p=nmigen.git

test_lib_fifo: define all referenced FSM states.

Broken in commit a1c58633.
---

diff --git a/nmigen/test/test_lib_fifo.py b/nmigen/test/test_lib_fifo.py
index 7682bc9..38019f9 100644
--- a/nmigen/test/test_lib_fifo.py
+++ b/nmigen/test/test_lib_fifo.py
@@ -192,6 +192,8 @@ class FIFOContractSpec(Elaboratable):
                         fifo.w_en.eq(1)
                     ]
                     m.next = "DONE"
+            with m.State("DONE"):
+                pass
 
         with m.FSM(domain=self.r_domain) as read_fsm:
             read_1 = Signal(fifo.width)
@@ -209,6 +211,8 @@ class FIFOContractSpec(Elaboratable):
                     ]
                 with m.If((read_1 == entry_1) & (read_2 == entry_2)):
                     m.next = "DONE"
+            with m.State("DONE"):
+                pass
 
         with m.If(Initial()):
             m.d.comb += Assume(write_fsm.ongoing("WRITE-1"))