Check refinement of high-level spec abs with all models #66
Annotations
1 error
Run ./tlc.py --trace-name 2C2N mc --term-count 2 --request-count 0 --raft-configs 2C2N --disable-check-quorum consensus/MCccfraft.tla
Process completed with exit code 13.
|
Loading