Check refinement of high-level spec abs with all models #66
achamayoulong-verification.yml
on: pull_request
Model Checking With Atomic Reconfig - Consensus
33m 36s
Model Checking With Reconfig - Consensus
51m 30s
Simulation - Consensus
51m 7s
Annotations
2 errors
|
Model Checking With Atomic Reconfig - Consensus
Process completed with exit code 13.
|
|
Model Checking With Reconfig - Consensus
Process completed with exit code 13.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tlc-model-checking-with-atomic-reconfig-consensus
|
13.5 KB |
|
|
tlc-model-checking-with-reconfig-consensus
|
16.2 KB |
|