Skip to content

GitLab

Commit 476b864b authored by Jaime Arias's avatar Jaime Arias
Browse files

fix: add quotes around AP in formulas

parent 6b99f2bd
Hide whitespace changes
Inline Side-by-side
formulas/cloud/cloud10by5/cloud10by5-1.ltl.reduced
View file @ 476b864b
((Wsr3NotDeployed) && ((Wsr2NotDeployed) <-> <>(ScWorking))) <-> []((ScUnavailable) || (WebAppRuntime) || []<>(WsRuntime3))
(("Wsr3NotDeployed") && (("Wsr2NotDeployed") <-> <>("ScWorking"))) <-> [](("ScUnavailable") || ("WebAppRuntime") || []<>("WsRuntime3"))
formulas/cloud/cloud10by5/cloud10by5-10.ltl.reduced
View file @ 476b864b
(OsAvailable) <-> (!(WSRuntime2) || ([](WebAppRuntime) -> !((WsRuntime3) && []((Bounder2) <-> (ContainerDown)))))
("OsAvailable") <-> (!("WSRuntime2") || ([]("WebAppRuntime") -> !(("WsRuntime3") && [](("Bounder2") <-> ("ContainerDown")))))
formulas/cloud/cloud10by5/cloud10by5-100.ltl.reduced
View file @ 476b864b
!(WebAppRuntime) || (Wsr3Started) || <>((ScStopped) -> !((WebAppRuntime) <-> ((WSRuntime1) <-> (Wsr2Started))))
!("WebAppRuntime") || ("Wsr3Started") || <>(("ScStopped") -> !(("WebAppRuntime") <-> (("WSRuntime1") <-> ("Wsr2Started"))))
formulas/cloud/cloud10by5/cloud10by5-101.ltl.reduced
View file @ 476b864b
[](ServerContainer) <-> (((Bounder2) && !(WSRuntime1)) -> ((Wsr2NotDeployed) <-> !((SwContainer) <-> [](Bounder2))))
[]("ServerContainer") <-> ((("Bounder2") && !("WSRuntime1")) -> (("Wsr2NotDeployed") <-> !(("SwContainer") <-> []("Bounder2"))))
formulas/cloud/cloud10by5/cloud10by5-102.ltl.reduced
View file @ 476b864b
(!((ContainerDown) || (OsContainer)) && <>(OsAvailable)) <-> ((SwContainer) <-> <>[](ServerContainer))
(!(("ContainerDown") || ("OsContainer")) && <>("OsAvailable")) <-> (("SwContainer") <-> <>[]("ServerContainer"))
formulas/cloud/cloud10by5/cloud10by5-103.ltl.reduced
View file @ 476b864b
!(((OsContainer) <-> ((Bounder1) || !(Container) || !(OsContainer))) && (!(Bounder1) || (Wsr1Started)))
!((("OsContainer") <-> (("Bounder1") || !("Container") || !("OsContainer"))) && (!("Bounder1") || ("Wsr1Started")))
formulas/cloud/cloud10by5/cloud10by5-104.ltl.reduced
View file @ 476b864b
(!(SwContainer) || ((Bounder1) <-> (WebAppRuntime))) && ((SwContainer) || ([](ScUnavailable) <-> <>!(ScWorking)))
(!("SwContainer") || (("Bounder1") <-> ("WebAppRuntime"))) && (("SwContainer") || ([]("ScUnavailable") <-> <>!("ScWorking")))
formulas/cloud/cloud10by5/cloud10by5-105.ltl.reduced
View file @ 476b864b
((ServerContainer) || !(SwContainer) || <>!(Wsr3Deployed)) <-> []((Wsr3Deployed) || [](WebAppRuntime))
(("ServerContainer") || !("SwContainer") || <>!("Wsr3Deployed")) <-> [](("Wsr3Deployed") || []("WebAppRuntime"))
formulas/cloud/cloud10by5/cloud10by5-106.ltl.reduced
View file @ 476b864b
(((OsContainer) <-> ((WSRuntime2) || !(WebAppRuntime))) -> ((ScStopped) && (Wsr2Deployed))) && []((WsRuntime3) -> (Bounder2))
((("OsContainer") <-> (("WSRuntime2") || !("WebAppRuntime"))) -> (("ScStopped") && ("Wsr2Deployed"))) && [](("WsRuntime3") -> ("Bounder2"))
formulas/cloud/cloud10by5/cloud10by5-107.ltl.reduced
View file @ 476b864b
<>((WebAppRuntime) && (Wsr2Deployed)) <-> !((Wsr1Deployed) && []((ScStopped) || (ScUnavailable) || <>(WsRuntime3)))
<>(("WebAppRuntime") && ("Wsr2Deployed")) <-> !(("Wsr1Deployed") && [](("ScStopped") || ("ScUnavailable") || <>("WsRuntime3")))
formulas/cloud/cloud10by5/cloud10by5-108.ltl.reduced
View file @ 476b864b
!(Wsr1NotDeployed) || [](ContainerDown) || (((ScStopped) || !(Wsr1Deployed)) && [](OsRunning))
!("Wsr1NotDeployed") || []("ContainerDown") || ((("ScStopped") || !("Wsr1Deployed")) && []("OsRunning"))
formulas/cloud/cloud10by5/cloud10by5-109.ltl.reduced
View file @ 476b864b
[]((OsContainer) <-> ((Wsr1NotDeployed) -> ((((OsRunning) || (ScUnavailable)) <-> ((ScWorking) && (Wsr1Started))) && <>(Bounder2))))
[](("OsContainer") <-> (("Wsr1NotDeployed") -> (((("OsRunning") || ("ScUnavailable")) <-> (("ScWorking") && ("Wsr1Started"))) && <>("Bounder2"))))
formulas/cloud/cloud10by5/cloud10by5-11.ltl.reduced
View file @ 476b864b
[]((WsRuntime3) && ((ScStopped) || ((ContainerDown) <-> !(OsRunning)) || ((Wsr1Started) && ![](Bounder1))))
[](("WsRuntime3") && (("ScStopped") || (("ContainerDown") <-> !("OsRunning")) || (("Wsr1Started") && ![]("Bounder1"))))
formulas/cloud/cloud10by5/cloud10by5-110.ltl.reduced
View file @ 476b864b
(Bounder2) <-> ((Wsr1Started) && (Wsr2Deployed) && <>(Wsr3Started) && <>(OsContainer))
("Bounder2") <-> (("Wsr1Started") && ("Wsr2Deployed") && <>("Wsr3Started") && <>("OsContainer"))
formulas/cloud/cloud10by5/cloud10by5-112.ltl.reduced
View file @ 476b864b
!(ServerContainer) && (Wsr2Deployed) && !(<>(Wsr1Started) && []((ScUnavailable) && (Wsr3Started)))
!("ServerContainer") && ("Wsr2Deployed") && !(<>("Wsr1Started") && [](("ScUnavailable") && ("Wsr3Started")))
formulas/cloud/cloud10by5/cloud10by5-113.ltl.reduced
View file @ 476b864b
((ScStopped) <-> (((ContainerDown) -> (Wsr3Deployed)) -> !(SwContainer))) || ![]((OsContainer) && <>(OsRunning))
(("ScStopped") <-> ((("ContainerDown") -> ("Wsr3Deployed")) -> !("SwContainer"))) || ![](("OsContainer") && <>("OsRunning"))
formulas/cloud/cloud10by5/cloud10by5-114.ltl.reduced
View file @ 476b864b
[]<>[](<>(!(Wsr1NotDeployed) -> (Container)) || ((Wsr1NotDeployed) && <>(ScUnavailable)))
[]<>[](<>(!("Wsr1NotDeployed") -> ("Container")) || (("Wsr1NotDeployed") && <>("ScUnavailable")))
formulas/cloud/cloud10by5/cloud10by5-115.ltl.reduced
View file @ 476b864b
<>((ContainerDown) || (Wsr2Started) || (<>(Wsr2Started) && []!(ContainerUp)))
<>(("ContainerDown") || ("Wsr2Started") || (<>("Wsr2Started") && []!("ContainerUp")))
formulas/cloud/cloud10by5/cloud10by5-116.ltl.reduced
View file @ 476b864b
((Bounder1) || [](Container)) -> !(!(Bounder1) || <>!<>(Wsr2Started))
(("Bounder1") || []("Container")) -> !(!("Bounder1") || <>!<>("Wsr2Started"))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment