+ # 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))