Contained targets are overwritten during the translation to SMT
Contained targets are overwritten during the translation to SMT in
org.fortiss.af3.exploration.smt.modeltransformation.DSMLtoSMTTransformator.transform(ExplorationSpecification, Context)
.
This is caused by using their shared parent(the dslExpression
) as key
when storing the SMT expression within the expressionCache
ma
(from redmine: issue id 3762, created on 2019-07-03, closed on 2019-07-04)