Assertion: execution | /r/HasProperty | unrolled
Facets:
Source sentences:
text: If the prediction is true, the predicted execution is allowed to commit, however if there is a misprediction, execution has to be unrolled and re-executed.