Passed

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

Standard Output

07:55:21.038 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of SimplePrm
07:55:21.039 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:55:21.039 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:55:21.039 [main] INFO  o.e.w.m.a.s.r.Permut
...[truncated 1414 chars]...
"con-1--2"
07:55:21.043 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--2" to refinement node "13"
07:55:21.044 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
07:55:21.044 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-2--3" to refinement node "14"