Cleaning up scripts.
authorrtrimana <rtrimana@uci.edu>
Mon, 29 Jul 2019 18:29:21 +0000 (11:29 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 29 Jul 2019 18:29:21 +0000 (11:29 -0700)
Extractor/ExtractorScript.py
ModelCheck.py

index 0e9539f..97b6bff 100644 (file)
@@ -262,9 +262,6 @@ def ExtractEvents(extractedEvents):
                        event.close()
                        extractedEvents.write("\t\t\t}\n")
                elif eventList[i] == "carbonMonoxide":
-                       print eventVarMap
-                       print capabilityMap
-
                        #Check which capability
                        variable = eventVarMap[eventList[i]]
                        capability = capabilityMap[variable]
index b47a095..c192cfa 100644 (file)
@@ -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()