projects
/
smartthings-infrastructure.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixing a bug in locks: latestValue should have similar value with currentValue.
[smartthings-infrastructure.git]
/
ModelCheck.py
diff --git
a/ModelCheck.py
b/ModelCheck.py
index 8ff62ffb4999da90b85c1b74b1770cdfdce4cfe0..1a0c940bb66ff273d3fc6300b4914d8879f940c5 100644
(file)
--- a/
ModelCheck.py
+++ b/
ModelCheck.py
@@
-58,7
+58,6
@@
firstList = sys.argv[4]
# PART 1: Generate the permutations of app pairs
print "PHASE 1: Extracting the app pairs from the app lists ...\n"
# PART 1: Generate the permutations of app pairs
print "PHASE 1: Extracting the app pairs from the app lists ...\n"
-print "Got here!"
appList1 = []
appList2 = []
# Extract the first list
appList1 = []
appList2 = []
# Extract the first list