Passed

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

Standard Output

07:18:48.352 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
07:18:48.353 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:18:48.353 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:18:48.353 [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
07:18:48.359 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
07:18:48.359 [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.