global eventVarCounterMap
# Count the number of events
numOfActualEvents = CountEvents()
+ # Use the following lines to print out numbers of events
+ #evtFile = open("numberOfEvents", "a+")
+ #evtFile.write(str(numOfActualEvents))
+ #evtFile.write("\n")
+ #evtFile.close()
extractedEvents.write("while(true) {\n")
# We use Verify.getIntFromList() instead of Verify.getInt() since we want to manipulate the
# choices in the list/set to implement POR
raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n")
'''
-
#Extract objects to call functions from App1
F1 = open("Extractor/App1/App1.groovy", "r")
extractedFunctionsApp1 = open("Extractor/App1/extractedFunctionsApp1.groovy", "w+")