Commit 58db94c7 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

DSE-CLI: QuickFix: Consider all ExpTargets



Issue-Ref: 0000
Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent 2eff656f
AF3ExplorationSMTActivator.java db8c07de55429ead58b5127affc48232e31819d3 YELLOW
AF3ExplorationSMTActivator.java db8c07de55429ead58b5127affc48232e31819d3 GREEN
DumpSMTLibFileCommandLineHandler.java 95604962b4db14786ec8143663278c4a865bbd55 GREEN
DumpSMTLibFileCommandLineHandler.java d23183aa018acc0a749a464e13cfa2a5d15db26a GREEN
......@@ -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;
......
ExecuteDSECommandLineHandler.java 4d80dee08bbf5f66d460bcdd158aaf3c96b654ab GREEN
ExecuteDSECommandLineHandler.java 7955b0bf22da3f4c4b72b441d201cf60d71ae6b6 GREEN
TestCaseGenerationCommandLineHandler.java ccd942515f5490ff9ed6ece891f3ade206333a08 GREEN
ValidateDSESolutionCommandLineInterface.java 1b882428463c21c355d96c883af428d3fa4cce2d GREEN
......@@ -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;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment