Assertion: clang's option | /r/HasProperty | found under the clang-tidy submenu
Facets:
Source sentences:
text: Options to configure the tool can be found under the Clang-Tidy submenu.