From: rtrimana <rtrimana@uci.edu>
Date: Mon, 18 Jan 2021 23:23:08 +0000 (-0800)
Subject: Adding printout for event numbers.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=refs%2Fheads%2FoldInfraNewAnalysis;p=smartthings-infrastructure.git

Adding printout for event numbers.
---

diff --git a/Extractor/ExtractorScript.py b/Extractor/ExtractorScript.py
index fd7b5b8..37deeef 100755
--- 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+")