usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

lib.memory: raise an error on mutating already-elaborated memory.

Browse source
This commit is contained in:
Wanda 2024-03-25 14:22:00 +01:00 • committed by Catherine
parent 3d5c36a606
commit 6ffafef794
2 changed files with 40 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

17
tests/test_lib_memory.py
View file

@ -404,3 +404,20 @@ class MemoryTestCase(FHDLTestCase):
self.assertIs(f._read_ports[1]._addr, rp1.addr)
self.assertIs(f._read_ports[1]._data, rp1.data.as_value())
self.assertIs(f._read_ports[1]._en, rp1.en)
def test_freeze(self):
m = memory.Memory(shape=unsigned(8), depth=4, init=[])
m.write_port()
m.elaborate(None)
with self.assertRaisesRegex(memory.FrozenError,
r"^Cannot add a memory port to a memory that has already been elaborated$"):
m.write_port()
with self.assertRaisesRegex(memory.FrozenError,
r"^Cannot add a memory port to a memory that has already been elaborated$"):
m.read_port()
with self.assertRaisesRegex(memory.FrozenError,
r"^Cannot set 'init' on a memory that has already been elaborated$"):
m.init = [1, 2, 3, 4]
with self.assertRaisesRegex(memory.FrozenError,
r"^Cannot set 'init' on a memory that has already been elaborated$"):
m.init[0] = 1