Assertion list for term "connected to reset line".

Results from Ascent++: 1
reset ReceivesActionconnected to reset line 0.29