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

     1  SPECIFICATION Impl
     2  
     3  CONSTANT TaskId = {t1}
     4  CONSTANT ServiceId = {s1}
     5  CONSTANT Node = {n1}
     6  CONSTANT node = n1
     7  CONSTANT maxTerminated = 1
     8  CONSTANT maxReplicas = 1
     9  CONSTANT unassigned = unassigned
    10  CONSTANT global = global
    11  
    12  INVARIANT TypeOK
    13  
    14  PROPERTY WSSpec