# 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