Iteration on TLC wrapper script #22
Annotations
1 error and 1 warning
|
Run ./tlc.py mc --max-term-count 2 --max-request-count 2 --raft-configs 1C2N --trace-name 1C2N consensus/MCccfraft.tla
Process completed with exit code 2.
|
|
Upload TLC traces
No files were found with the provided path: tla/consensus/*_TTrace_*.tla
tla/*.json. No artifacts will be uploaded.
|
Loading