diff options
| -rw-r--r-- | tests/memory/1.0/IMemoryTest.hal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/memory/1.0/IMemoryTest.hal b/tests/memory/1.0/IMemoryTest.hal index b20859ccd0..3c4d4f3d3d 100644 --- a/tests/memory/1.0/IMemoryTest.hal +++ b/tests/memory/1.0/IMemoryTest.hal @@ -23,6 +23,6 @@ interface IMemoryTest { haveSomeMemory(memory mem) generates(memory mem); fillMemory(memory memory_in, uint8_t filler); haveSomeMemoryBlock(MemoryBlock blk) generates(MemoryBlock blk); - set(memory mem) generates(); + set(memory mem); get()generates(IMemoryToken token); }; |