Assertion: echo request | /r/HasProperty | this option
Facets:
Source sentences:
text: If a Record Route and/or Timestamp option is received in an ICMP Echo Request, this option (these options) SHOULD be updated to include the current router and included in the IP header of the Echo Reply message, without truncation.