Skip to content
TLA+ Spec Verification

ccfraft!AdvanceCommitIndex advance to the smalles possible index, whereas raft.h advances to the largest possible one. #1012

Sign in to view logs

ccfraft!AdvanceCommitIndex advance to the smalles possible index, whereas raft.h advances to the largest possible one.

ccfraft!AdvanceCommitIndex advance to the smalles possible index, whereas raft.h advances to the largest possible one. #1012

The logs for this run have expired and are no longer available.