Passed

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

Standard Output

14:35:45.225 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings
14:35:45.226 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.226 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.226 [main] INFO  o.
...[truncated 912 chars]...
"con-3--2"
14:35:45.227 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-3--2" to refinement node "13"
14:35:45.228 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--3"
14:35:45.228 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--3" to refinement node "12"