Iteration on TLC wrapper script #34
Annotations
2 errors
|
|
|
Run ./tlc.py sim --num 500 --depth 50 consistency/MultiNodeReads.tla
The operation was canceled.
|
Loading