design/tla/models/SwarmKit.cfg
SPECIFICATION Spec
CONSTANT TaskId = {t1, t2}
CONSTANT ServiceId = {s1}
CONSTANT Node = {n1}
CONSTANT maxTerminated = 1
CONSTANT maxReplicas = 1
CONSTANT unassigned = unassigned
CONSTANT global = global
INVARIANT TypeOK
INVARIANT Inv
PROPERTY TransitionsOK
PROPERTY EventuallyAsDesired