Skip to content
TLA+ Spec Verification

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

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. #1006

Triggered via pull request January 2, 2024 17:53
@lemmylemmy
synchronize #5879
mku-AdvanceCommitIndexOptimization
Status Success
Total duration 6m 55s
Artifacts –

tlaplus.yml

on: pull_request
Model Checking - Consistency
3m 26s
Model Checking - Consistency
Counterexamples - Consistency
42s
Counterexamples - Consistency
Simulation - Consistency
6m 46s
Simulation - Consistency
Fit to window
Zoom out
Zoom in