Assertion: interrupt's isr | /r/HasProperty | entered in first place
Facets:
Source sentences:
text: Setting the global interrupt state here is legitimate since it had to be enabled for the ISR to have been entered in the first place.