SuccessConsole Output

[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:28:34.851 [main] INFO  o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml
07:28:34.948 [main] INFO  o.e.w.c.configuration.Environment:146 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml
07:28:34.962 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings
07:28:35.190 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.193 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.193 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.194 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.195 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
07:28:35.195 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14"
07:28:35.197 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
07:28:35.200 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
07:28:35.237 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of null
07:28:35.237 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "11"
07:28:35.237 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "11"
07:28:35.238 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "12"
07:28:35.238 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "12"
07:28:35.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "10"
07:28:35.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "10"
07:28:35.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "8" to refinementNode "13"
07:28:35.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "8" and refinement node "13"
07:28:35.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "78"
07:28:35.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "78" to refinement node "13"
07:28:35.243 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
07:28:35.243 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.243 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:28:35.244 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.244 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.244 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.244 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
07:28:35.245 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
07:28:35.245 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
07:28:35.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.247 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.247 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.247 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.247 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
07:28:35.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
07:28:35.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set
07:28:35.251 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings
07:28:35.251 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.251 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
07:28:35.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14"
07:28:35.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "12"
07:28:35.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
07:28:35.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
07:28:35.253 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "3--2"
07:28:35.253 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "3--2" to refinement node "13"
07:28:35.253 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--3"
07:28:35.253 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--3" to refinement node "12"
07:28:35.255 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings2
07:28:35.256 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.256 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "13"
07:28:35.256 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "13"
07:28:35.256 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.257 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.257 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
07:28:35.257 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
07:28:35.257 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "15"
07:28:35.258 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
07:28:35.258 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "14"
07:28:35.260 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
07:28:35.260 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.260 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:28:35.261 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.261 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.261 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.261 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
07:28:35.262 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
07:28:35.262 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.262 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.262 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
07:28:35.262 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.263 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
07:28:35.264 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
07:28:35.264 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
07:28:35.264 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:309 chekMutabilityOfDetectorRelations - Relation "2--3" is part of a component set
07:28:35.264 [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:28:35.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithStaying
07:28:35.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.266 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.267 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.267 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
07:28:35.267 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
07:28:35.267 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "16"
07:28:35.268 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
07:28:35.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:28:35.268 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
07:28:35.268 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "16"
07:28:35.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of SimplePrm
07:28:35.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:28:35.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.292 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.292 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.292 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.292 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "14"
07:28:35.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "14"
07:28:35.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "15"
07:28:35.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "1--2"
07:28:35.293 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "1--2" to refinement node "13"
07:28:35.294 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
07:28:35.294 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:303 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "2--3" to refinement node "14"
07:28:35.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
07:28:35.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.295 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:28:35.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.296 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
07:28:35.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
07:28:35.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.297 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.298 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.298 [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:28:35.300 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
07:28:35.300 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.300 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:28:35.301 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.301 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.301 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.301 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.301 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.302 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
07:28:35.302 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.302 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.302 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
07:28:35.302 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:259 chekMutabilityOfDetectorRelations - Checking unmapped relation "2--3"
07:28:35.303 [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:28:35.304 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
07:28:35.304 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
07:28:35.304 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
07:28:35.305 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.305 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
07:28:35.305 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
07:28:35.305 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
07:28:35.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 2,3
07:28:35.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
07:28:35.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:182 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
07:28:35.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.306 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
07:28:35.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:194 checkComponentMutability - Found pattern set of components: 3,2
07:28:35.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:215 checkComponentMutability - Added pattern set to existing set: 2,3
07:28:35.307 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:175 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
07:28:35.307 [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.713 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.246 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.025 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.949 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest
[INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest
07:28:36.756 [main] INFO  o.e.w.common.json.JacksonProvider:36 <clinit> - Initializing json mapper...
07:28:36.756 [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.369 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