Skip to content

DSE-Constraints: Move basic depl. constr. creation to SMT

Alexander Diewald requested to merge 3590 into master

Moves and simplifies the create method of the SMT-specific deployment constraints to the SMT plugin. These constraints are added to the ExplorationSpecification that is passed to the DSE on-the-fly (no transaction needed due to ExplorationSpecifications not being part of an AF3 project).

Issue-Ref: 3590 Issue-Url: https://af3-developer.fortiss.org/issues/3590 Signed-off-by: Alexander Diewald diewald@fortiss.org

Merge request reports