Remove writing state-space statistics after the demise of cimetrics. #43
Annotations
1 error and 1 warning
|
Run ./tlc.py --trace-name 1C2N mc --term-count 2 --request-count 2 --raft-configs 1C2N consensus/MCccfraft.tla
Process completed with exit code 151.
|
|
Upload TLC traces
No files were found with the provided path: tla/consensus/*_TTrace_*.tla
tla/*.json. No artifacts will be uploaded.
|
Loading