gateware.cdc: add a test case that exercises cdc.synchronize() on Pin…

… elements

tests/test_cdc.py

@@ -8,6 +8,7 @@
 from unittest       import TestCase
 
 from amaranth import Module, Record, Signal
+from amaranth.lib.io import Pin
 from amaranth.hdl.rec import DIR_FANIN, DIR_FANOUT
 from luna.gateware.utils.cdc import synchronize, stretch_strobe_signal
 
@@ -39,6 +40,17 @@ def test_nested_record(self):
         ])
         synchronize(m, record)
 
+    def test_pins(self):
+        m = Module()
+        pins = {
+            "sig_in": Pin(1, "i"),
+            "sig_out": Pin(1, "o"),
+        }
+        record = Record([
+            (f_name, f.layout) for (f_name, f) in pins.items()
+        ], fields=pins)
+        synchronize(m, record)
+
 
 class StrobeStretcherTest(LunaGatewareTestCase):
     """ Test case for our strobe stretcher function. """