Assertion: warp | /r/HasProperty | synchronized
Facets:
Source sentences:
text: It assumes that threads in the same warp that are once synchronized will stay synchronized until the next thread-divergent branch.