cloud10by5-105.ltl 118 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
((ServerContainer==1) || !(SwContainer==1) || <>!(Wsr3Deployed==1)) <-> []((Wsr3Deployed==1) || [](WebAppRuntime==1))