From: rtrimana <rtrimana@uci.edu>
Date: Thu, 8 Aug 2019 16:48:40 +0000 (-0700)
Subject: Adding global variable interaction command line.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartthings-infrastructure.git;a=commitdiff_plain;h=74938b80035b90597144629a4358db843f771dc9;ds=inline

Adding global variable interaction command line.
---

diff --git a/appLists/global-state-variable-interaction/globalstatevariableAppList b/appLists/global-state-variable-interaction/globalstatevariableAppList
index 04c4d0a..56caae1 100644
--- a/appLists/global-state-variable-interaction/globalstatevariableAppList
+++ b/appLists/global-state-variable-interaction/globalstatevariableAppList
@@ -31,7 +31,6 @@ speaker-weather-forecast.groovy
 sunrise-sunset.groovy
 switch-activates-home-phrase-or-mode.groovy
 switch-changes-mode.groovy
-talking-alarm-clock.groovy
 thermostat-mode-director.groovy
 vacation-lighting-director.groovy
 working-from-home.groovy
@@ -44,4 +43,6 @@ ecobeeResumeProg.groovy
 MonitorAndSetEcobeeHumidity.groovy
 SmartPresence.groovy
 Switches.groovy
-WorkingFromHome.groovy
\ No newline at end of file
+WorkingFromHome.groovy
+### The following is a very buggy app
+###talking-alarm-clock.groovy
diff --git a/run.sh b/run.sh
index a7f2689..8c18873 100755
--- a/run.sh
+++ b/run.sh
@@ -3,7 +3,7 @@
 # Device conflict
 #python ModelCheck.py ../jpf-core/ ../logs/valves/ ../smartapps/ appLists/device-interaction/valvesAppList appLists/device-interaction/valvesAppList2
 #python ModelCheck.py ../jpf-core/ ../logs/acfanheaterSwitches/ ../smartapps/ appLists/device-interaction/acfanheaterSwitchesAppList appLists/device-interaction/acfanheaterSwitchesAppList2
-python ModelCheck.py ../jpf-core/ ../logs/cameraSwitches/ ../smartapps/ appLists/device-interaction/cameraSwitchesAppList appLists/device-interaction/cameraSwitchesAppList2
+#python ModelCheck.py ../jpf-core/ ../logs/cameraSwitches/ ../smartapps/ appLists/device-interaction/cameraSwitchesAppList appLists/device-interaction/cameraSwitchesAppList2
 #python ModelCheck.py ../jpf-core/ ../logs/ventfanSwitches/ ../smartapps/ appLists/device-interaction/ventfanSwitchesAppList appLists/device-interaction/ventfanSwitchesAppList2
 #python ModelCheck.py ../jpf-core/ ../logs/speeches/ ../smartapps/ appLists/device-interaction/speechesAppList appLists/device-interaction/speechesAppList2
 #python ModelCheck.py ../jpf-core/ ../logs/nonHueLights/ ../smartapps/ appLists/device-interaction/nonHueLightsAppList appLists/device-interaction/nonHueLightsAppList2
@@ -20,3 +20,6 @@ python ModelCheck.py ../jpf-core/ ../logs/cameraSwitches/ ../smartapps/ appLists
 #python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/motionsensorAppList appLists/physical-interaction/motionAppList
 #python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/illuminancesensorAppList appLists/physical-interaction/lightAppList
 #python ModelCheck.py ../jpf-core/ ../logs/ ../smartapps/ appLists/physical-interaction/watersensorAppList appLists/physical-interaction/watervalveAppList
+
+# Global variable conflict
+python ModelCheck.py ../jpf-core/ ../logs/globalStateVariables/ ../smartapps/ appLists/global-state-variable-interaction/globalstatevariableAppList appLists/global-state-variable-interaction/globalstatevariableAppList2