Adding example runs.

[smartthings-infrastructure.git] / run.sh

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