Non-deterministic doubleEagerLinearRoundTimer #4241
Description
🐞 Bug Report
Description
Revisit doubleEagerLinearRoundTimer.
The current behavior is non-deterministic which is mandatory for QBFT.
This timer persists the state t.firstDeadlines and tries to adjust the resulting timeouts, which we believe is wrong.
Has this worked before in a previous version?
No
🔬 Minimal Reproduction
Check doubleEagerLinearRoundTimer.Timer() implementation.
🔥 Error
It produces non-deterministic intervals.
🌍 Your Environment
NA