Skip to content
TLA+ Spec Verification

Raft scenarios falsifying Heidi's hypothesis about raft.h's behavior. #1005

Sign in to view logs

Raft scenarios falsifying Heidi's hypothesis about raft.h's behavior.

Raft scenarios falsifying Heidi's hypothesis about raft.h's behavior. #1005

Triggered via push January 2, 2024 17:53
@lemmylemmy
pushed 70ee922
mku-AdvanceCommitIndexOptimization
Status Success
Total duration 5m 50s
Artifacts –

tlaplus.yml

on: push
Model Checking - Consistency
3m 23s
Model Checking - Consistency
Counterexamples - Consistency
40s
Counterexamples - Consistency
Simulation - Consistency
5m 42s
Simulation - Consistency
Fit to window
Zoom out
Zoom in