Iteration on TLC wrapper script #38
Annotations
1 error and 1 warning
|
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: 83 MB
|
Loading