Edge Counter not counting last pulse before reset

[SukkoPera]

Hi, I think I have found a bug in the Counter decoder: it is not counting the last pulse before the counter is reset:

This is counting rising edges of the bottom waveform, resetting on rising edges of the top one. I would expect the count to be 10, with the very last rising edge (the one that is ending the 9th pulse) being included in the count.