hubcio commented on PR #4130: URL: https://github.com/apache/iggy/pull/4130#issuecomment-5797304675
i like quint approach. AFAIR @krishvishal mentioned it to me couple of weeks ago, didnt have time to dig into it. we can keep it, but in its own PR so the fix here doesn't wait on tooling, and with `check.py --suite=quick` in CI, otherwise it quietly drifts from the code. the model also caught something not in your comment: `journal.clear_all()` never resets `poll_floor` (only `clear_poll_index` sets it), so after a state transfer install the old floor stays and can hide fresh ops. it's on master too. fix here or separate issue? quint connect: interesting. do you have previous experience with it? -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
