github.com/kaisenlinux/docker.io@v0.0.0-20230510090727-ea55db55fac7/swarmkit/design/tla/models/SwarmKit.cfg (about)

     1  SPECIFICATION Spec
     2  
     3  CONSTANT TaskId = {t1, t2}
     4  CONSTANT ServiceId = {s1}
     5  CONSTANT Node = {n1}
     6  CONSTANT maxTerminated = 1
     7  CONSTANT maxReplicas = 1
     8  CONSTANT unassigned = unassigned
     9  CONSTANT global = global
    10  
    11  INVARIANT TypeOK
    12  INVARIANT Inv
    13  
    14  PROPERTY TransitionsOK
    15  PROPERTY EventuallyAsDesired