[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-jdk8/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-jdk8/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-jdk8/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.PermutationGeneratorTest 07:29:21.848 [main] INFO o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml 07:29:21.948 [main] INFO o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml 07:29:21.966 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings 07:29:22.137 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.140 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.140 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.142 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.143 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 07:29:22.143 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14" 07:29:22.145 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 07:29:22.149 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 07:29:22.191 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of null 07:29:22.192 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "11" 07:29:22.192 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "11" 07:29:22.193 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "12" 07:29:22.194 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "12" 07:29:22.194 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "10" 07:29:22.194 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "10" 07:29:22.195 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "8" to refinementNode "13" 07:29:22.195 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "8" and refinement node "13" 07:29:22.195 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "78" 07:29:22.196 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "78" to refinement node "13" 07:29:22.198 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 07:29:22.199 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.200 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 07:29:22.200 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.200 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.201 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.201 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 07:29:22.202 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 07:29:22.202 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.202 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.203 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 07:29:22.203 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.203 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.204 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.204 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.205 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.205 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.205 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 07:29:22.205 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 07:29:22.206 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set 07:29:22.209 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings 07:29:22.209 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.210 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.210 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 07:29:22.210 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14" 07:29:22.211 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "12" 07:29:22.211 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 07:29:22.212 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 07:29:22.212 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "3--2" 07:29:22.212 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "3--2" to refinement node "13" 07:29:22.212 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--3" 07:29:22.213 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--3" to refinement node "12" 07:29:22.215 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings2 07:29:22.216 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.216 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "13" 07:29:22.216 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "13" 07:29:22.216 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.217 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.217 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 07:29:22.217 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 07:29:22.218 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "15" 07:29:22.218 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 07:29:22.219 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "14" 07:29:22.222 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 07:29:22.222 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.223 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 07:29:22.223 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.223 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.224 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.224 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 07:29:22.224 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 07:29:22.225 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.225 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.225 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 07:29:22.226 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.226 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.226 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.226 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.227 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.227 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.227 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 07:29:22.227 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 07:29:22.228 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 07:29:22.228 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set 07:29:22.228 [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. 07:29:22.230 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithStaying 07:29:22.231 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.231 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.234 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.234 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 07:29:22.235 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 07:29:22.235 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "16" 07:29:22.236 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 07:29:22.236 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 07:29:22.236 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 07:29:22.237 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "16" 07:29:22.238 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of SimplePrm 07:29:22.239 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.239 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 07:29:22.239 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.239 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.240 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.240 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.240 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "14" 07:29:22.240 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "14" 07:29:22.240 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.241 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "15" 07:29:22.268 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2" 07:29:22.268 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13" 07:29:22.269 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 07:29:22.269 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "14" 07:29:22.270 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 07:29:22.271 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.271 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 07:29:22.272 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.272 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.273 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.273 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 07:29:22.273 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 07:29:22.273 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.274 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.274 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.274 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.274 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.275 [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. 07:29:22.278 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 07:29:22.279 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.279 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 07:29:22.279 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.280 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.280 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.280 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.281 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.281 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14" 07:29:22.281 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.282 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.282 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 07:29:22.282 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3" 07:29:22.282 [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. 07:29:22.284 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet 07:29:22.284 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11" 07:29:22.285 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11" 07:29:22.285 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.285 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12" 07:29:22.286 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12" 07:29:22.286 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15" 07:29:22.286 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3 07:29:22.287 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13" 07:29:22.287 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13" 07:29:22.287 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.288 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.288 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.288 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15" 07:29:22.288 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2 07:29:22.289 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3 07:29:22.289 [main] INFO o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16" 07:29:22.289 [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.647 s - in org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest [INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest [INFO] Tests run: 14, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.261 s - in org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest [INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 s - in org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest [INFO] Running org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest [INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 s - in org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest [INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.918 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest [INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest 07:29:23.819 [main] INFO o.e.w.common.json.JacksonProvider:36 - Initializing json mapper... 07:29:23.820 [main] INFO o.e.w.common.json.JacksonProvider:47 - 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.496 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-jdk8/org.eclipse.winery.model.adaptation/target/org.eclipse.winery.model.adaptation-2.0.0-SNAPSHOT.jar