Commit e8537e6f authored by eder's avatar eder
Browse files

Removed unnecessary runAsCommand

Issue-Ref: 3641
Issue-Url: https://af3-developer.fortiss.org/issues/3641

Signed-off-by: default avatareder <eder@192.168.17.140>
parent 31c5dcfe
......@@ -11,5 +11,5 @@ DeploymentRun.java 67d240b1f02f906748811acad9ced9dd71e7cb56 GREEN
IDSMLTransformationService.java f56241d2dff68a69cd1fe09c119d615f74088650 GREEN
SMTTransformationUtils.java d2aa072852daffcf3c439db7da5c639d807715a5 GREEN
ScheduleRun.java 1ced7f48c5067d32e029f577ace10cdbc597ed2d GREEN
SolverRun.java f73a675bcddf8a999dad1c33ec540b182ad1549e GREEN
SolverRun.java d00f743a184793fc5253069ff771044baeaeeb06 YELLOW
TimingConstraintDefinition.java fba63bf61c53e7e6606a95515c20a7205f288f36 GREEN
......@@ -28,7 +28,6 @@ import static org.fortiss.af3.exploration.util.DesignSpaceExplorationModelElemen
import static org.fortiss.af3.exploration.util.DesignSpaceExplorationModelElementFactory.createSingleExplorationSolution;
import static org.fortiss.af3.exploration.util.ExplorationUtils.isDebugVerboseEnabled;
import static org.fortiss.tooling.kernel.utils.EcoreUtils.pickInstanceOf;
import static org.fortiss.tooling.kernel.utils.KernelModelElementUtils.runAsCommand;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.error;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.info;
import static org.fortiss.tooling.kernel.utils.LoggingUtils.warning;
......@@ -195,9 +194,7 @@ public abstract class SolverRun {
}
if(z3ModelSolutionAssocs != null && !z3ModelSolutionAssocs.isEmpty()) {
// Problem is solvable. At least one target must be present.
runAsCommand(explorationSpec.getTargets().get(0), () -> {
setSolutionModels(transformation);
});
setSolutionModels(transformation);
} else {
// Problem is not solvable.
parameters = new HashMap<>();
......
Markdown is supported
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