Continuous Verification #47
Annotations
1 error and 2 warnings
|
Run ./tlc.py --trace-name 1C3N mc --term-count 2 --request-count 2 --raft-configs 1C3N consensus/MCccfraft.tla
Process completed with exit code 1.
|
|
Set up job
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 87 MB
|
|
Upload TLC traces
No files were found with the provided path: tla/consensus/*_TTrace_*.tla
tla/*.json. No artifacts will be uploaded.
|
Loading