Assertion: benchmark's list | /r/HasProperty | altered by a command-line option
Facets:
Source sentences:
text: Unless altered by a command-line option, at start-up the list will initially be filled with the application's internal list of possibly-useful publicly available alternative DNS nameservers, as well as with all of the nameservers currently configured for use by the system.