Correctness of PaceFilter
The update on a PaceFilter checks if it is valid only after updating the value. Should this not happen beforehand?
As it is now, an update with a smaller value than currently in the buffer would be discarded even though the current value is not valid anymore, as it is only invalidated after the update.
Edited by Sven Liefgen