4 lines
129 B
INI
4 lines
129 B
INI
|
CONSTANTS Fixed = FALSE PublishUnready = FALSE Scenario = "proxy"
|
||
|
|
SPECIFICATION Spec
|
||
|
|
INVARIANT TypeOK
|
||
|
|
PROPERTY TransportRecovery
|