Fixing the call for verify API for 1-event apps to have at least 2 events with the...
authorrtrimana <rtrimana@uci.edu>
Thu, 23 Apr 2020 21:34:38 +0000 (14:34 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 23 Apr 2020 21:34:38 +0000 (14:34 -0700)
Extractor/ExtractorScript.py

index 725f267acb7cb9cc1df8181a718c7010737b6e24..1105eda14f315408857114b53404da123f9f1fdb 100644 (file)
@@ -368,9 +368,12 @@ def ExtractEvents(extractedEvents):
        # 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))
+       if (numOfActualEvents == 1):
+               extractedEvents.write("1)\n")
+       else:
+               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