Add driver commands to start networks and reconfigure more realistically #907
tlaplus.yml
on: pull_request
Simulation - Consensus
35s
Model Checking - Consistency
2m 14s
Counterexamples - Consistency
39s
Simulation - Consistency
6m 24s
Annotations
1 error and 1 warning
Simulation - Consensus
Process completed with exit code 151.
|
Simulation - Consensus
No files were found with the provided path: tla/consensus/*_TTrace_*.tla
tla/consensus/*_TTrace_*.bin
tla/*.trace.tla
tla/*.json. No artifacts will be uploaded.
|