Monitoring and breakpoints: wrong round number
After loading a breakpoint, the first round is reported as Round 1
, while subsequent rounds are correctly reported incrementally from where the breakpoint was loaded.
An example can be found at logs/success/round-41-to-80/OAR.13015526.stderr