4 lines
193 B
INI
4 lines
193 B
INI
|
CONSTANTS Fixed = TRUE PublishUnready = TRUE Scenario = "ports"
|
||
|
|
SPECIFICATION Spec
|
||
|
|
INVARIANTS TypeOK HealthyObservation PortContinuity
|
||
|
|
PROPERTIES TransportRecovery ServingRecovery LossReported
|