Assertion: interrupt's isr | /r/CapableOf | write out new port value
Facets:
Source sentences:
text: Imagine that the background code has just read the PORT value, which has PB0 set to '0', and an interrupt occurs, and the interrupt ISR writes out a new PORT value setting PB1 to '1'.