cloud10by5-104.ltl 132 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(!(SwContainer==1) || ((Bounder1==1) <-> (WebAppRuntime==1))) && ((SwContainer==1) || ([](ScUnavailable==1) <-> <>!(ScWorking==1)))