Adding printout for event numbers.

diff --git a/Extractor/ExtractorScript.py b/Extractor/ExtractorScript.py
index fd7b5b8cd5581d627a4a6e0c4d6dc4621bceff38..37deeef957b79afae65566e665bf8f557b61af43 100755 (executable)
--- a/Extractor/ExtractorScript.py
+++ b/Extractor/ExtractorScript.py
@@ -359,6 +359,11 @@ def ExtractEvents(extractedEvents):
        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
@@ -1498,7 +1503,6 @@ def CheckIfOnlyTouchEvents():
                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+")