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

Triggered via pull request January 5, 2024 12:50
@achamayouachamayou
synchronize #5879
mku-AdvanceCommitIndexOptimization
Status Success
Total duration 7m 21s
Artifacts –

tlaplus.yml

on: pull_request
Model Checking - Consistency
3m 21s
Model Checking - Consistency
Counterexamples - Consistency
46s
Counterexamples - Consistency
Simulation - Consistency
7m 11s
Simulation - Consistency
Fit to window
Zoom out
Zoom in