Merge branch 'QuickFix-DSE-CLI-Use-AllTargets' into 'master'

DSE-CLI: QuickFix: Consider all ExpTargets

See merge request af3/af3!374

org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/.ratings

-AF3ExplorationSMTActivator.java db8c07de55429ead58b5127affc48232e31819d3 YELLOW
+AF3ExplorationSMTActivator.java db8c07de55429ead58b5127affc48232e31819d3 GREEN

org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/cli/.ratings

-DumpSMTLibFileCommandLineHandler.java 95604962b4db14786ec8143663278c4a865bbd55 GREEN
+DumpSMTLibFileCommandLineHandler.java d23183aa018acc0a749a464e13cfa2a5d15db26a GREEN

org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/cli/DumpSMTLibFileCommandLineHandler.java

@@ -144,7 +144,7 @@ public final class DumpSMTLibFileCommandLineHandler implements ICommandLineSwitc
 
 		ProcessStep dseStep = dse.getCurrentStep();
 		for(RuleSet ruleSet : dseStep.getRuleSets()) {
-			allExplorationTargets = ruleSet.getExplorationTargets();
+			allExplorationTargets.addAll(ruleSet.getExplorationTargets());
 		}
 
 		return allExplorationTargets;

org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/cli/.ratings

-ExecuteDSECommandLineHandler.java 4d80dee08bbf5f66d460bcdd158aaf3c96b654ab GREEN
+ExecuteDSECommandLineHandler.java 7955b0bf22da3f4c4b72b441d201cf60d71ae6b6 GREEN
 TestCaseGenerationCommandLineHandler.java ccd942515f5490ff9ed6ece891f3ade206333a08 GREEN
 ValidateDSESolutionCommandLineInterface.java 1b882428463c21c355d96c883af428d3fa4cce2d GREEN

org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/cli/ExecuteDSECommandLineHandler.java

@@ -145,7 +145,7 @@ public final class ExecuteDSECommandLineHandler implements ICommandLineSwitchHan
 
 		ProcessStep dseStep = dse.getCurrentStep();
 		for(RuleSet ruleSet : dseStep.getRuleSets()) {
-			allExplorationTargets = ruleSet.getExplorationTargets();
+			allExplorationTargets.addAll(ruleSet.getExplorationTargets());
 		}
 
 		return allExplorationTargets;