Assertion list for term "indicated by the write pointer w".

Results from Ascent++: 1
address ReceivesActionindicated by the write pointer w 0.29