Passed

org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest.checkMutabilityOfNotMutablePrmBecauseOfANotMappableRefinementNode

Standard Output

09:04:15.622 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
09:04:15.623 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
09:04:15.623 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
09:04:15.624 [main] INFO  o.e.w
...[truncated 1826 chars]...
[main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
09:04:15.628 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
09:04:15.629 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:161 checkMutability - Permutations cannot be determined automatically! Reason: There are refinement nodes which could not be mapped to a detector node: 14.