2_MultiNodeSyncSourceCycle_noinv.cfg

CONSTANT Follower = Follower
CONSTANT Leader = Leader
CONSTANT Nil = Nil
CONSTANT Candidate = Candidate
CONSTANT Server = {n1, n2, n3, n4}
SYMMETRY Symmetry
CONSTANT CommitPointAction <- LearnCommitPointFromSyncSourceAction
CONSTRAINT StateConstraint
SPECIFICATION Spec