Refactor abstract consensus specification #2112
Triggered via pull request
September 18, 2024 20:00
Status
Success
Total duration
1h 21m 24s
Artifacts
1
tlaplus.yml
on: pull_request
Model Checking - Consistency
2m 35s
Counterexamples - Consistency
49s
Simulation - Consistency
2m 0s
Model Checking - Consensus
36m 4s
Model Checking With Reconfig - Consensus
1h 18m
Simulation - Consensus
50m 39s
Trace Validation - Consensus
11m 51s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
tlc
|
3.7 MB |
|