Assertion list for term "specified in the debug port text box".
Results from Ascent++: 1
port → ReceivesAction → specified in the debug port text box 0.27