Skip to content

Replace some Counter with AveragingCounter

Marco Clemencic requested to merge marcocle/follow-gaudi-1136 into master

gaudi/Gaudi!1136 (merged) removes operator+= from Counter as it leads to the false impression that one could do cnt += 10 except that it would produce the same result as cnt += 1.

This MR replaces Counter with AveragingCounter in the cases where operator+= is needed. The change is backward compatible (and actually fixes bugs) and can be merged any time, but it is needed before I can merge gaudi/Gaudi!1136 (merged).

Merge request reports