Assertion: contract | /r/HasProperty | enforced by a test suite
Facets:
Source sentences:
text: Contracts can be written by code comments, enforced by a test suite, or both, even if there is no special language support for contracts.