Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Alexander Diewald
AF3-new
Commits
da09af53
Commit
da09af53
authored
Oct 12, 2020
by
Simon Barner
Browse files
Merge branch '4067' into 'master'
DSE-CLI: Skip Validation if no Solution is Present See merge request af3/af3!373
parents
0f5f58bb
1f76bb1c
Changes
2
Show whitespace changes
Inline
Side-by-side
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/cli/.ratings
View file @
da09af53
ExecuteDSECommandLineHandler.java 4d80dee08bbf5f66d460bcdd158aaf3c96b654ab GREEN
TestCaseGenerationCommandLineHandler.java ccd942515f5490ff9ed6ece891f3ade206333a08 GREEN
ValidateDSESolutionCommandLineInterface.java
47d7ffc80526e670ac149a2c18100ca6cc8ee19b
GREEN
ValidateDSESolutionCommandLineInterface.java
1b882428463c21c355d96c883af428d3fa4cce2d
GREEN
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/cli/ValidateDSESolutionCommandLineInterface.java
View file @
da09af53
...
...
@@ -96,6 +96,12 @@ public class ValidateDSESolutionCommandLineInterface implements ICommandLineSwit
SolutionSelectionStep
solStep
=
(
SolutionSelectionStep
)
currentStep
;
SingleExplorationSolution
singleSolution
=
solStep
.
getSelectedSolution
();
if
(
singleSolution
==
null
)
{
info
(
AF3ExplorationActivator
.
getDefault
(),
"The DSE project "
+
matchingDSE
.
getName
()
+
" does not contain a solution that can be validated."
);
return
;
}
boolean
isSolutionValidated
=
false
;
try
{
isSolutionValidated
=
validateSingleSolution
(
solStep
);
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment