Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
vsr: synchronize op and commit_max updates on_prepare
Before, op was updated first, and commit_max at the end, breaking ``` assert(self.commit_max >= self.op -| constants.pipeline_prepare_queue_max); ``` invariant Seed: 1648503712295043012
- Loading branch information