private void resetStatesForNewExecution(IntChoiceFromSet icsCG) {
if (choices == null || choices != icsCG.getAllChoices()) {
// Reset state variables
- choiceCounter = 0;
+ choiceCounter = 1;
choices = icsCG.getAllChoices();
refChoices = copyChoices(choices);
// Clearing data structures
readWriteFieldsMap.clear();
stateToEventMap.clear();
isEndOfExecution = false;
+ // Adding this CG as the first CG for this execution
+ cgList.add(icsCG);
}
}