Adding printout for event numbers.

[smartthings-infrastructure.git] / ModelCheck.py

diff --git a/ModelCheck.py b/ModelCheck.py
index 1a0c940bb66ff273d3fc6300b4914d8879f940c5..443fc82255669c95aee4823b594662b7ffc72555 100644 (file)
--- a/ModelCheck.py
+++ b/ModelCheck.py
@@ -57,7 +57,7 @@ firstList = sys.argv[4]
 
 
 # PART 1: Generate the permutations of app pairs
-print "PHASE 1: Extracting the app pairs from the app lists ...\n"
+print("PHASE 1: Extracting the app pairs from the app lists ...\n")
 appList1 = []
 appList2 = []
 # Extract the first list
@@ -99,19 +99,19 @@ else:
 
                
 # PART 2: 
-print "PHASE 2: Running JPF ...\n"
+print("PHASE 2: Running JPF ...\n")
 # List down all the log file names
 writeLogList = open(jpfLogDir + "logList", "w+")
 for item in appPairs:
 
        # Copy apps into Extractor/App1 and Extractor/App2
-       print "==> First app: %s" % item[0]
-       print "==> Second app: %s" % item[1]            
+       print("==> First app: %s" % item[0])
+       print("==> Second app: %s" % item[1])
        os.system("cp " + appDir + item[0] + " Extractor/App1/App1.groovy")
        os.system("cp " + appDir + item[1] + " Extractor/App2/App2.groovy")
        
        # Run Runner.py to extract things and create main.groovy, then compile it
-       print "==> Compiling the apps ...\n"
+       print("==> Compiling the apps ...\n")
        os.system("make Runner")
        error = extractError()
        logName = item[0] + "--" + item[1] + ".log"
@@ -119,7 +119,7 @@ for item in appPairs:
                # Compile
                os.system("make main")
                # Call JPF
-               print "==> Calling JPF and generate logs ...\n"
+               print("==> Calling JPF and generate logs ...\n")
                os.system("cd " + jpfDir + ";./run.sh " + jpfLogDir + logName + " main.jpf")
        else:
                # This is for specific error, e.g., direct-direct interaction that we need to skip