Cleaning up scripts.

[smartthings-infrastructure.git] / ModelCheck.py

diff --git a/ModelCheck.py b/ModelCheck.py
index b47a095aa3c53ca3e7c5027962063146984fbdb0..c192cfa48ecafe72be736fc997adcd6bb9a33ef1 100644 (file)
--- a/ModelCheck.py
+++ b/ModelCheck.py
@@ -73,12 +73,12 @@ for item in appPairs:
        # Run Runner.py to extract things and create main.groovy, then compile it
        print "==> Compiling the apps ...\n"
        os.system("make Runner")
-       #os.system("make main")
+       os.system("make main")
        
        # Call JPF
        print "==> Calling JPF and generate logs ...\n"
-       logName = jpfLogDir + item[0] + "--" + item[1] + ".log"
+       logName = item[0] + "--" + item[1] + ".log"
        writeLogList.write(logName + "\n")
-       #os.system("cd " + jpfDir + ";./run.sh " + logName + " main.jpf")
+       os.system("cd " + jpfDir + ";./run.sh " + jpfLogDir + logName + " main.jpf")
        
 writeLogList.close()