Assertion: interrupt | /r/HasProperty | configured for negative edge
Facets:
Source sentences:
text: Inside the ISR, if the interrupt is configured for negative edge, reconfigure it for positive edge.