dawsonme comments

Repositories
Issues
Comments

Results 1 comments of


                                            dawsonme

Only a higher term leader can receive a client request to add v to the log

Thanks for your reply. When i use TLC to model check the raft specification, I set the invariant that there are two leaders in the system. Then tlc model checker...