From 85b33e335801b7f4c175fc4114a6fdfd30980f64 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Mon, 18 Jan 2021 15:23:08 -0800 Subject: [PATCH] Adding printout for event numbers. --- Extractor/ExtractorScript.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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+") -- 2.34.1