Check refinement of high-level spec abs with all models #2136
Triggered via pull request
September 27, 2024 17:56
Status
Success
Total duration
2h 19m 31s
Artifacts
1
tlaplus.yml
on: pull_request
Model Checking - Consistency
2m 50s
Counterexamples - Consistency
41s
Simulation - Consistency
1m 56s
Model Checking - Consensus
1h 1m
Model Checking With Reconfig - Consensus
2h 18m
Simulation - Consensus
50m 36s
Trace Validation - Consensus
3m 29s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
tlc-trace-validation-consensus
|
3.7 MB |
|