Adding global variable interaction command line.

diff --git a/appLists/global-state-variable-interaction/globalstatevariableAppList b/appLists/global-state-variable-interaction/globalstatevariableAppList
index 04c4d0aa7480c61eb5dd8f51787548527428cccd..56caae1e6983ed43b1cb273bcef90f69f73c0a6f 100644 (file)
--- 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 a7f2689fc54af16f7e8b66d44c923338207a4204..8c1887355eb7724bf25fd63f72d76c514ef3037f 100755 (executable)
--- 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