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