Assertion: condition | /r/HasProperty | violated
Facets:
Source sentences:
text: If a precondition is violated, the effect of the section of code becomes undefined and thus may or may not carry out its intended work.