Assertion list
rip (primary) → ReceivesAction
Results from Ascent++: 5
rip → ReceivesAction → repaired 0.37
rip → ReceivesAction → based on udp 0.25
rip → ReceivesAction → choreographed 0.25
rip → ReceivesAction → made 0.25
rip → ReceivesAction → redistributed into ospf 0.25