-
Alexander Diewald authored
* Sub-Targets of IExplorationTargets are not used. * An equivalent and additional (but hidden) field existed for sub-constrains of SMTObjectives. They are considered only in the transformation code of DSE backends. Such implict constraints are only intended to bound user-defined objectives. * Resolve several warnings in UI code. Issue-Ref: 3365 Issue-Url: https://af3-developer.fortiss.org/issues/3365 Signed-off-by: Alexander Diewald <diewald@fortiss.org>
255658c4