Assertion: interrupt's isr | /r/CapableOf | access the output port
Facets:
Source sentences:
text: For example, if only background code or the ISR accessed the output PORT, the situation above could never occur.