Github actions show that `crashCommitIndex` and `byzCommitIndex` do not reach interesting values

heidihoward / pirateship-tla

4 stars 1 forks source link

Github actions show that `crashCommitIndex` and `byzCommitIndex` do not reach interesting values #4

Open lemmy opened 1 day ago

lemmy commented 1 day ago

https://github.com/heidihoward/pirateship-tla/actions/runs/11695920887

heidihoward commented 1 day ago

The max byzantine commit for all replicas is the maximum number of txns - 2 and the max crash commit for all replicas is the maximum number of txns - 1 so should be fixed by setting Tx s == 1..4