Console Output

[INFO] 
[INFO] -------< org.eclipse.winery:org.eclipse.winery.model.adaptation >-------
[INFO] Building org.eclipse.winery.model.adaptation 3.0.0-SNAPSHOT      [22/27]
[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] --- jacoco-maven-plugin:0.8.6:prepare-agent (jacoco-initialize) @ org.eclipse.winery.model.adaptation ---
[INFO] argLine set to -javaagent:/home/jenkins/.m2/repository/org/jacoco/org.jacoco.agent/0.8.6/org.jacoco.agent-0.8.6-runtime.jar=destfile=/home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/target/jacoco.exec,append=false
[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-pr/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 39 source files to /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/target/classes
[WARNING] /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/src/main/java/org/eclipse/winery/model/adaptation/problemsolving/algorithms/SecureVmProxyAlgorithm.java: Some input files use or override a deprecated API.
[WARNING] /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/src/main/java/org/eclipse/winery/model/adaptation/problemsolving/algorithms/SecureVmProxyAlgorithm.java: Recompile with -Xlint:deprecation for details.
[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 3 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ org.eclipse.winery.model.adaptation ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 15 source files to /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/target/test-classes
[WARNING] /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/src/test/java/org/eclipse/winery/model/adaptation/enhance/EnhancementUtilsTestWithGitBackedRepository.java: Some input files use or override a deprecated API.
[WARNING] /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/src/test/java/org/eclipse/winery/model/adaptation/enhance/EnhancementUtilsTestWithGitBackedRepository.java: Recompile with -Xlint:deprecation for details.
[INFO] 
[INFO] --- maven-surefire-plugin:3.0.0-M5: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.SubstitutionUtilsTest
[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.328 s - in org.eclipse.winery.model.adaptation.substitution.SubstitutionUtilsTest
[INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest
14:35:44.610 [main] INFO  o.e.w.c.configuration.Environment:147 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml
14:35:44.815 [main] INFO  o.e.w.c.configuration.Environment:147 getConfigFromFile - Winery config file: /home/jenkins/.winery/winery.yml
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.399 s - in org.eclipse.winery.model.adaptation.substitution.refinement.tests.TestRefinementTest
[INFO] Running org.eclipse.winery.model.adaptation.substitution.refinement.PermutationGeneratorTest
14:35:44.953 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings
14:35:45.193 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.195 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.195 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.196 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.196 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
14:35:45.196 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14"
14:35:45.198 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--2"
14:35:45.201 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--2" to refinement node "13"
14:35:45.211 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of null
14:35:45.212 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "11"
14:35:45.212 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "11"
14:35:45.212 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "12"
14:35:45.213 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "12"
14:35:45.213 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "7" to refinementNode "10"
14:35:45.213 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "7" and refinement node "10"
14:35:45.213 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "8" to refinementNode "13"
14:35:45.214 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "8" and refinement node "13"
14:35:45.214 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "78"
14:35:45.215 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "78" to refinement node "13"
14:35:45.217 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
14:35:45.218 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.218 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
14:35:45.219 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.219 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.219 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.219 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
14:35:45.220 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 2,3
14:35:45.220 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
14:35:45.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.221 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.222 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.222 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.223 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.223 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.223 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
14:35:45.223 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
14:35:45.223 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:314 chekMutabilityOfDetectorRelations - Relation "con-2--3" is part of a component set
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.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
14:35:45.226 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "14"
14:35:45.227 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "12"
14:35:45.227 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--2"
14:35:45.227 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--2" to refinement node "13"
14:35:45.227 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "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"
14:35:45.232 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithComplexRelationMappings2
14:35:45.233 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.233 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "13"
14:35:45.233 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "13"
14:35:45.233 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.234 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.234 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
14:35:45.234 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
14:35:45.234 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "15"
14:35:45.235 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--2"
14:35:45.235 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--2" to refinement node "14"
14:35:45.237 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
14:35:45.237 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.238 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
14:35:45.238 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.238 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.238 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
14:35:45.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 2,3
14:35:45.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
14:35:45.239 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.240 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
14:35:45.241 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--2"
14:35:45.241 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
14:35:45.241 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:314 chekMutabilityOfDetectorRelations - Relation "con-2--3" is part of a component set
14:35:45.241 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:170 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: con-1--2.
14:35:45.243 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of PrmWithStaying
14:35:45.244 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.244 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.245 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.245 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
14:35:45.245 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
14:35:45.245 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "16"
14:35:45.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--2"
14:35:45.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--2" to refinement node "13"
14:35:45.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
14:35:45.246 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-2--3" to refinement node "16"
14:35:45.247 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of SimplePrm
14:35:45.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
14:35:45.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.248 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.249 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.249 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.249 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "14"
14:35:45.249 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "14"
14:35:45.249 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.250 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "3" and refinement node "15"
14:35:45.250 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-1--2"
14:35:45.250 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-1--2" to refinement node "13"
14:35:45.250 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
14:35:45.250 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:308 chekMutabilityOfDetectorRelations - Found possibility to redirect relation "con-2--3" to refinement node "14"
14:35:45.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
14:35:45.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
14:35:45.252 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.280 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.280 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.280 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
14:35:45.280 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 2,3
14:35:45.280 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.281 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.281 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.281 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.281 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.281 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:148 checkMutability - Permutations cannot be determined automatically! Reason: There are detector nodes which could not be mapped to a refinement node: 3.
14:35:45.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
14:35:45.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
14:35:45.284 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.285 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "14"
14:35:45.286 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.286 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.286 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
14:35:45.286 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:264 chekMutabilityOfDetectorRelations - Checking unmapped relation "con-2--3"
14:35:45.286 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:170 checkMutability - Permutations cannot be determined automatically! Reason: There are relations that cannot be redirected during the generation: con-2--3.
14:35:45.288 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:82 checkMutability - Starting mutability check of ComplexPrmWithPatternSet
14:35:45.288 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "11"
14:35:45.288 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "11"
14:35:45.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "1" and refinement node "12"
14:35:45.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "1" to refinementNode "12"
14:35:45.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "15"
14:35:45.289 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 2,3
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "2" to refinementNode "13"
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:187 checkComponentMutability - Adding MutabilityMapping between detector Node "2" and refinement node "13"
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "15"
14:35:45.290 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:199 checkComponentMutability - Found pattern set of components: 3,2
14:35:45.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:220 checkComponentMutability - Added pattern set to existing set: 2,3
14:35:45.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:180 checkComponentMutability - Checking component mutability of detectorNode "3" to refinementNode "16"
14:35:45.291 [main] INFO  o.e.w.m.a.s.r.PermutationGenerator:161 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.343 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.119 s - in org.eclipse.winery.model.adaptation.substitution.refinement.patterns.PatternRefinementTest
[INFO] Running org.eclipse.winery.model.adaptation.instance.InstanceModelRefinementTest
14:35:46.886 [main] INFO  o.e.w.common.json.JacksonProvider:36 <clinit> - Initializing json mapper...
14:35:46.886 [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]
14:35:47.180 [main] ERROR o.e.w.m.a.i.InstanceModelRefinement:62 refine - Cannot refine empty instance model!
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.758 s - in org.eclipse.winery.model.adaptation.instance.InstanceModelRefinementTest
[INFO] Running org.eclipse.winery.model.adaptation.instance.InstanceModelUtilsTest
14:35:47.369 [main] INFO  o.a.s.c.u.s.b.BouncyCastleSecurityProviderRegistrar:112 getOrCreateProvider - getOrCreateProvider(BC) created instance of org.bouncycastle.jce.provider.BouncyCastleProvider
14:35:47.447 [main] INFO  o.a.s.c.i.DefaultIoServiceFactoryFactory:67 getIoServiceProvider - No detected/configured IoServiceFactoryFactory using Nio2ServiceFactoryFactory
14:35:47.904 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:112 createJschSession - tmp key file created: true
14:35:48.202 [sshd-SshServer[7c8f7a3d](port=50022)-nio2-thread-1] INFO  o.a.s.s.k.SimpleGeneratorHostKeyProvider:304 generateKeyPair - generateKeyPair(EC) generating host key=nistp521
14:35:48.596 [sshd-SshServer[7c8f7a3d](port=50022)-nio2-thread-3] INFO  o.a.s.s.c.k.AuthorizedKeysAuthenticator:149 reloadAuthorizedKeys - reloadAuthorizedKeys(test)[ServerSessionImpl[null@/127.0.0.1:44590]] loaded 1 keys from /home/jenkins/agent/workspace/winery-pr/org.eclipse.winery.model.adaptation/target/test-classes/authorized_keys
14:35:48.635 [sshd-SshServer[7c8f7a3d](port=50022)-nio2-thread-1] INFO  o.a.s.s.session.ServerSessionImpl:332 signalAuthenticationSuccess - Session test@/127.0.0.1:44590 authenticated
14:35:48.635 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:122 createJschSession - tmp key file deleted: false
14:35:48.636 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:153 executeCommand - Executing script: "pwd"
14:35:48.659 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:180 executeCommand - Still executing...
14:35:49.659 [main] ERROR o.e.w.m.a.i.InstanceModelUtils:187 executeCommand - error

14:35:49.660 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:193 executeCommand - "pwd" exited with code '1'
14:35:49.945 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:112 createJschSession - tmp key file created: true
14:35:50.058 [sshd-SshServer[7c8f7a3d](port=50022)-nio2-thread-1] INFO  o.a.s.s.session.ServerSessionImpl:332 signalAuthenticationSuccess - Session test@/127.0.0.1:44594 authenticated
14:35:50.058 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:122 createJschSession - tmp key file deleted: false
14:35:50.622 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:112 createJschSession - tmp key file created: true
14:35:50.687 [sshd-SshServer[7c8f7a3d](port=50022)-nio2-thread-3] INFO  o.a.s.s.session.ServerSessionImpl:332 signalAuthenticationSuccess - Session test@/127.0.0.1:44600 authenticated
14:35:50.687 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:122 createJschSession - tmp key file deleted: false
14:35:50.687 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:153 executeCommand - Executing script: "pwd"
14:35:50.689 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:180 executeCommand - Still executing...
14:35:51.690 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:190 executeCommand - success

14:35:51.690 [main] INFO  o.e.w.m.a.i.InstanceModelUtils:193 executeCommand - "pwd" exited with code '0'
[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.521 s - in org.eclipse.winery.model.adaptation.instance.InstanceModelUtilsTest
[INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.202 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.SecureContainerProxyAlgorithmTest
[INFO] Running org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.147 s - in org.eclipse.winery.model.adaptation.problemsolving.algorithms.IpSecAlgorithmTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 40, 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-pr/org.eclipse.winery.model.adaptation/target/org.eclipse.winery.model.adaptation-3.0.0-SNAPSHOT.jar