search

ongardie / raft.tla

TLA+ specification for the Raft consensus algorithm
458 stars 74 forks source link

Counter example #5

Closed jinlmsft closed 8 years ago

jinlmsft commented 8 years ago

Further add a counter example, that shows if term hasn't been persisted, more than one node can become leader in one term.

ongardie commented 8 years ago

Hmm, not sure this one is worth merging, since it's been verified to break safety :)