Iteration on TLC wrapper script #30
Annotations
1 error and 1 warning
|
Run ./tlc.py --trace-name 1C3N mc --max-term-count 2 --max-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: 94 MB
|
Loading