Passed

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

Took 13 ms.

Standard Output

09:20:32.940 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
09:20:32.941 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
09:20:32.942 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
09:20:32.942 [main] INFO  o.e.w
...[truncated 2419 chars]...
32.949 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
09:20:32.950 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:314 chekMutabilityOfDetectorRelations - Relation "con-2--3" is part of a component set
09:20:32.950 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:170 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: con-1--2.