Adding example runs.

diff --git a/appLists/examples/conflictAppList b/appLists/examples/conflictAppList
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
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 fc5be6090016143949ef202737640b2dff19f5fb..cb1f6df73bf32650f9400708a154d6e2e3e9e343 100755 (executable)
--- 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