Enable pre-vote by default #558
Annotations
3 errors
|
|
|
Run ./tlc.py sim consensus/SIMccfraft.tla
The operation was canceled.
|
|
|
Loading