add a few more asserts just to be safe

diff --git a/src/spec/testing_stage1.py b/src/spec/testing_stage1.py
index be212529fbc1dde42bc06bbb0a080c8c405957d9..a15f68f9ec26704961570c71f9758966ffae216d 100644 (file)
--- a/src/spec/testing_stage1.py
+++ b/src/spec/testing_stage1.py
@@ -194,9 +194,12 @@ class DummyPlatform(TemplatedPlatform):
         # each of these returns a tuple (res, pin, port, attrs)
         for pad, core in zip(pads, core):
             pin = pad[1]
+            corepin = core[1]
             if pin is None: continue # skip when pin is None
+            assert corepin is not None # if pad was None, core should be too
             print ("iter", pad, pin.name)
             assert pin.name not in self.padlookup # no overwrites allowed!
+            assert pin.name == corepin.name # has to be the same!
             self.padlookup[pin.name] = core
 
         # finally return the value just like ResourceManager.request()