Check refinement of high-level spec abs with all models #41
Annotations
2 errors
|
|
|
Run ./tlc.py sim consensus/SIMccfraft.tla
The operation was canceled.
|
Loading