From: rtrimana <rtrimana@uci.edu>
Date: Thu, 21 May 2020 21:06:42 +0000 (-0700)
Subject: Adding example runs.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1f7cf555ca05f9af13e81ae75ad1ca7e8904a90f;p=smartthings-infrastructure.git

Adding example runs.
---

diff --git a/appLists/examples/conflictAppList b/appLists/examples/conflictAppList
new file mode 100644
index 0000000..9f29311
--- /dev/null
+++ b/appLists/examples/conflictAppList
@@ -0,0 +1,4 @@
+enhanced-auto-lock-door.groovy
+#good-night-house.groovy
+#nfc-tag-toggle.groovy
+#single-button-controller.groovy
\ No newline at end of file
diff --git a/appLists/examples/conflictAppList2 b/appLists/examples/conflictAppList2
new file mode 100644
index 0000000..3820bed
--- /dev/null
+++ b/appLists/examples/conflictAppList2
@@ -0,0 +1,4 @@
+#enhanced-auto-lock-door.groovy
+#good-night-house.groovy
+nfc-tag-toggle.groovy
+single-button-controller.groovy
\ No newline at end of file
diff --git a/appLists/examples/nonConflictAppList b/appLists/examples/nonConflictAppList
new file mode 100644
index 0000000..98026c5
--- /dev/null
+++ b/appLists/examples/nonConflictAppList
@@ -0,0 +1,4 @@
+#enhanced-auto-lock-door.groovy
+good-night-house.groovy
+#nfc-tag-toggle.groovy
+#single-button-controller.groovy
\ No newline at end of file
diff --git a/appLists/examples/nonConflictAppList2 b/appLists/examples/nonConflictAppList2
new file mode 100644
index 0000000..3820bed
--- /dev/null
+++ b/appLists/examples/nonConflictAppList2
@@ -0,0 +1,4 @@
+#enhanced-auto-lock-door.groovy
+#good-night-house.groovy
+nfc-tag-toggle.groovy
+single-button-controller.groovy
\ No newline at end of file
diff --git a/run.sh b/run.sh
index fc5be60..cb1f6df 100755
--- a/run.sh
+++ b/run.sh
@@ -27,5 +27,12 @@
 # Global variable conflict
 #python ModelCheck.py ../jpf-core/ ../logs/globalStateVariables/ ../smartapps/ appLists/global-state-variable-interaction/globalstatevariableAppList appLists/global-state-variable-interaction/globalstatevariableAppList2
 
+# Example runs - conflicts
+#python ModelCheck.py ../jpf-core/ ../logs/exampleConflicts/ ../smartapps/ appLists/examples/conflictAppList appLists/examples/conflictAppList2
+
+# Example runs - non-conflicts
+python ModelCheck.py ../jpf-core/ ../logs/exampleNonConflicts/ ../smartapps/ appLists/examples/nonConflictAppList appLists/examples/nonConflictAppList2
+
 # Single apps
-python ModelCheck.py ../jpf-core/ ../logs/singleApps/ ../smartapps/ appLists/single/singleAppList appLists/single/singleAppList2
+#python ModelCheck.py ../jpf-core/ ../logs/singleApps/ ../smartapps/ appLists/single/singleAppList3 appLists/single/singleAppList2
+#python ModelCheck.py ../jpf-core/ ../logs/singleApps/ ../smartapps/ appLists/single/singleAppList appLists/single/singleAppList2