Assertion: ping's option | /r/HasProperty | available
Facets:
Source sentences:
text: Numerous options (like using an alternative name server, Ping TTL, showing ping times for each traceroute step, Broadcast Ping, using HTTPS, setting the HTTP port number, selection of DNS record types to query, etc.) are available through a long-click on the "Go" button.
text: - Several advanced options are also available to further fine-tune the ping settings.