- // Check every choice generated and make sure that all the available choices
- // are chosen first before repeating the same choice of value twice!
- if (currentCG instanceof IntIntervalGenerator) {
- IntIntervalGenerator iigCG = (IntIntervalGenerator) currentCG;
- Integer nextChoice = iigCG.getNextChoice();
- if (!cgChoiceSet.contains(nextChoice)) {
- cgChoiceSet.add(nextChoice);
- }
- // Allow reinitialization after an upper bound is hit
- // This means all available choices have been explored once during this iteration
- if (cgChoiceSet.contains(choiceUpperBound)) {
- isInitialized = false;
- cgChoiceSet.clear();
+ if (stateReductionMode) {
+ // Check every choice generated and make sure that all the available choices
+ // are chosen first before repeating the same choice of value twice!
+ if (currentCG instanceof IntIntervalGenerator) {
+ IntIntervalGenerator iigCG = (IntIntervalGenerator) currentCG;
+ Integer nextChoice = iigCG.getNextChoice();
+ if (!cgChoiceSet.contains(nextChoice)) {
+ cgChoiceSet.add(nextChoice);
+ }
+ // Allow reinitialization after an upper bound is hit
+ // This means all available choices have been explored once during this iteration
+ if (cgChoiceSet.contains(choiceUpperBound)) {
+ isInitialized = false;
+ cgChoiceSet.clear();
+ }