no need to check individual port members, just check the Record (dut.i.ctx.op)

[soc.git] / NEWS.txt