Skip to content
Back to pull request #6508

Model max_uncommitted_tx_count of raft.h in abs.tla #2134

Sign in to view logs

Model max_uncommitted_tx_count of raft.h in abs.tla

Model max_uncommitted_tx_count of raft.h in abs.tla #2134

Triggered via pull request September 27, 2024 01:02
@lemmylemmy
opened #6508
lemmy:mku-MaxUncommittedCount
Status Success
Total duration 1h 19m 42s
Artifacts 1

tlaplus.yml

on: pull_request
Model Checking - Consistency
2m 36s
Model Checking - Consistency
Counterexamples - Consistency
34s
Counterexamples - Consistency
Simulation - Consistency
2m 16s
Simulation - Consistency
Model Checking - Consensus
36m 13s
Model Checking - Consensus
Model Checking With Reconfig - Consensus
1h 18m
Model Checking With Reconfig - Consensus
Simulation - Consensus
51m 4s
Simulation - Consensus
Trace Validation - Consensus
3m 52s
Trace Validation - Consensus
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
tlc-trace-validation-consensus
3.69 MB