[INFO] [INFO] -------< org.eclipse.winery:org.eclipse.winery.model.adaptation >------- [INFO] Building org.eclipse.winery.model.adaptation 2.0.0-SNAPSHOT [18/23] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO] --- maven-checkstyle-plugin:3.1.1:check (checkstyle) @ org.eclipse.winery.model.adaptation --- [INFO] You have 0 Checkstyle violations. [INFO] [INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ org.eclipse.winery.model.adaptation --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /home/jenkins/agent/workspace/winery-jdk12/org.eclipse.winery.model.adaptation/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ org.eclipse.winery.model.adaptation --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 30 source files to /home/jenkins/agent/workspace/winery-jdk12/org.eclipse.winery.model.adaptation/target/classes [INFO] [INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ org.eclipse.winery.model.adaptation --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ org.eclipse.winery.model.adaptation --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 13 source files to /home/jenkins/agent/workspace/winery-jdk12/org.eclipse.winery.model.adaptation/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:3.0.0-M4:test (default-test) @ org.eclipse.winery.model.adaptation --- [INFO] [INFO] ------------------------------------------------------- [INFO] T E S T S [INFO] ------------------------------------------------------- [INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest 05:51:18.347 [main] INFO o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml 05:51:18.505 [main] INFO o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.419 s - in org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest [INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest [INFO] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.179 s - in org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest [INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest 05:51:18.750 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings 05:51:18.942 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:18.944 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:18.944 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:18.945 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:18.946 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 05:51:18.946 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14" 05:51:18.948 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 05:51:18.951 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 05:51:18.956 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of null 05:51:18.957 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "11" 05:51:18.957 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "11" 05:51:18.958 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "12" 05:51:18.958 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "12" 05:51:18.958 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "10" 05:51:18.958 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "10" 05:51:18.958 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "8" to refinementNode "13" 05:51:18.959 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "8" and refinement node "13" 05:51:18.959 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "78" 05:51:18.959 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "78" to refinement node "13" 05:51:18.960 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 05:51:18.961 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:18.961 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 05:51:18.961 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:18.962 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:18.962 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:18.962 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 05:51:18.963 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 05:51:18.963 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:18.963 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:18.964 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 05:51:18.964 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:18.964 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:18.965 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:18.965 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:18.965 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:18.965 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:18.965 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 05:51:18.966 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 05:51:18.966 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set 05:51:18.967 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings 05:51:18.968 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:18.968 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:18.968 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 05:51:18.968 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14" 05:51:18.969 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "12" 05:51:18.969 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 05:51:18.969 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 05:51:18.969 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "3--2" 05:51:18.969 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "3--2" to refinement node "13" 05:51:18.970 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--3" 05:51:18.970 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--3" to refinement node "12" 05:51:18.971 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings2 05:51:18.972 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:18.972 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "13" 05:51:18.972 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "13" 05:51:18.972 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:18.972 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:18.972 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 05:51:18.973 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 05:51:18.973 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "15" 05:51:18.973 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 05:51:18.973 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "14" 05:51:18.997 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 05:51:18.997 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:18.998 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 05:51:18.998 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:18.998 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:18.998 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:18.998 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 05:51:18.999 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 05:51:18.999 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:18.999 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:18.999 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:19.000 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 05:51:19.001 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 05:51:19.001 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 05:51:19.001 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set 05:51:19.001 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:165 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: 1--2. 05:51:19.002 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithStaying 05:51:19.003 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:19.003 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:19.003 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:19.004 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 05:51:19.004 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 05:51:19.004 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "16" 05:51:19.004 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 05:51:19.004 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 05:51:19.005 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 05:51:19.005 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "16" 05:51:19.006 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of SimplePrm 05:51:19.006 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:19.006 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 05:51:19.006 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.007 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:19.007 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:19.007 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:19.007 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "14" 05:51:19.007 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "14" 05:51:19.007 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.008 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "15" 05:51:19.008 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 05:51:19.008 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 05:51:19.008 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 05:51:19.009 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "14" 05:51:19.009 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 05:51:19.010 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:19.010 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 05:51:19.010 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.010 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:19.010 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.011 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 05:51:19.011 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 05:51:19.011 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:19.011 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:19.011 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.012 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:19.012 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:19.012 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:143 checkMutability - Permutations cannot be determined automatically! Reason: There are detector nodes which could not be mapped to a refinement node: 3. 05:51:19.014 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 05:51:19.014 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:19.014 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 05:51:19.015 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.015 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:19.015 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.015 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:19.015 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:19.015 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 05:51:19.016 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.016 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.016 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 05:51:19.016 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 05:51:19.016 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:165 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: 2--3. 05:51:19.017 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 05:51:19.018 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 05:51:19.018 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 05:51:19.018 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.018 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 05:51:19.019 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 05:51:19.019 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 05:51:19.019 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 05:51:19.019 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 05:51:19.019 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 05:51:19.020 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 05:51:19.021 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:156 checkMutability - Permutations cannot be determined automatically! Reason: There are refinement nodes which could not be mapped to a detector node: 14. [INFO] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.273 s - in org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest [INFO] Running org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest [INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 s - in org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest [INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest 05:51:19.527 [main] INFO o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.169 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest [INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest 05:51:20.506 [main] INFO o.e.w.common.json.JacksonProvider:36 <clinit> - Initializing json mapper... 05:51:20.507 [main] INFO o.e.w.common.json.JacksonProvider:47 <clinit> - Initialized JsonMapper with VisibilityChecker [Visibility: getter=ANY,isGetter=ANY,setter=ANY,creator=ANY,field=PUBLIC_ONLY] [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.432 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest [INFO] [INFO] Results: [INFO] [INFO] Tests run: 34, Failures: 0, Errors: 0, Skipped: 0 [INFO] [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ org.eclipse.winery.model.adaptation --- [INFO] Building jar: /home/jenkins/agent/workspace/winery-jdk12/org.eclipse.winery.model.adaptation/target/org.eclipse.winery.model.adaptation-2.0.0-SNAPSHOT.jar