Add 2-Node consensus MC #2132
Triggered via pull request
September 26, 2024 15:49
achamayou
Status
Success
Total duration
1h 17m 29s
Artifacts
1
tlaplus.yml
on: pull_request
Model Checking - Consistency
2m 49s
Counterexamples - Consistency
35s
Simulation - Consistency
2m 0s
Model Checking - Consensus
36m 13s
Model Checking With Reconfig - Consensus
1h 16m
Simulation - Consensus
50m 41s
Trace Validation - Consensus
4m 17s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tlc-trace-validation-consensus
|
3.69 MB |
|