Assertion: set | /r/HasProperty | copied into flag
Facets:
Source sentences:
text: tsl reg , flag ; Test and Set Lock; flag is the ; shared variable; it is copied ; into the register reg and flag ; then atomically set to 1.