Assertion: code | /r/HasProperty | covered by test
Facets:
Source sentences:
text: By default, code that is covered by tests is highlighted in light blue.