From 04cd141e8bb621d445e901ccb93caaa5429b00c8 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Tue, 15 Oct 2019 17:59:54 -0700 Subject: [PATCH] Changing Verify.getInt() into Verify.getIntFromList(). --- Extractor/ExtractorScript.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Extractor/ExtractorScript.py b/Extractor/ExtractorScript.py index 0fa30ba..5f18f9f 100644 --- a/Extractor/ExtractorScript.py +++ b/Extractor/ExtractorScript.py @@ -338,7 +338,13 @@ def ExtractEvents(extractedEvents): # Count the number of events numOfActualEvents = CountEvents() extractedEvents.write("while(true) {\n") - extractedEvents.write("\tdef eventNumber = Verify.getInt(0,%d)\n" % (numOfActualEvents - 1)) + # We use Verify.getIntFromList() instead of Verify.getInt() since we want to manipulate the + # choices in the list/set to implement POR + #extractedEvents.write("\tdef eventNumber = Verify.getInt(0,%d)\n" % (numOfActualEvents - 1)) + extractedEvents.write("\tdef eventNumber = Verify.getIntFromList(0,") + for x in range (1, numOfActualEvents - 1): + extractedEvents.write("%d," % x) + extractedEvents.write("%d)\n" % (numOfActualEvents - 1)) extractedEvents.write("\tswitch(eventNumber) {\n") counter = 0 indexApp1 = 0 @@ -1099,6 +1105,7 @@ def ExtractEvents(extractedEvents): extractedEvents.write("\n\t\t\tbreak\n") counter = counter + 1 extractedEvents.write("\t}\n") + extractedEvents.write("\tprintln(\"\\nEVENT NUMBER: \" + eventNumber)\n"); extractedEvents.write("}\n") def CheckIfOnlyTouchEvents(): -- 2.34.1