Assertion: interrupt's isr | /r/HasProperty | triggered on falling edge
Facets:
Source sentences:
text: If the ISR is triggered on a falling edge, then we know that _start_pulse already contains the time when the rising edge of the pulse occurred.