1 2 3 4 5 6
---CODE--- 1 ---STDERR--- Error: tests/errors/papercut/multi-done.futil 10 | read_done = mem_0.read_done; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Undefined port name: read_done