SuccessConsole Output

Skipping 85 KB.. Full Log
Object[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APreExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AQuoteLiteralExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARealLiteralExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASameBaseClassExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASameClassExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStateInitExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStringLiteralExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AThreadIdExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATimeExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALessEqualNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALessNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AAbsoluteUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACardinalityUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistConcatUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistIntersectUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistMergeUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistUnionUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFloorUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AHeadUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIndicesUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALenUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapDomainUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapInverseUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapRangeUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APowerSetUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AReverseUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATailUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUnaryMinusUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUnaryPlusUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AElementsUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACaseAlternative.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[checking org.overture.typechecker.assistant.type.AFunctionTypeAssistantTC]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/AFunctionTypeAssistantTC.class]]
[checking org.overture.typechecker.assistant.ITypeCheckerAssistantFactory]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.class]]
[checking org.overture.typechecker.assistant.definition.AExplicitFunctionDefinitionAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifierBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.AExplicitOperationDefinitionAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.AImplicitFunctionDefinitionAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPairBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPair.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AImplicitFunctionDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.AImplicitOperationDefinitionAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/AImplicitOperationDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.PAccessSpecifierAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccessBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/tokens/TStatic.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Token.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/tokens/TAsync.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AssertionError.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PAccessSpecifierAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.PDefinitionAssistantTC]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.PDefinitionListAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PDefinitionListAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.PDefinitionSet]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/PDefinitionSet.class]]
[checking org.overture.typechecker.assistant.definition.SClassDefinitionAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchFieldError.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.definition.SFunctionDefinitionAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.class]]
[checking org.overture.typechecker.assistant.module.AModuleImportsAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImportsBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImports.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/module/AModuleImportsAssistantTC.class]]
[checking org.overture.typechecker.assistant.module.AModuleExportsAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportsBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExports.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/module/AModuleExportsAssistantTC.class]]
[checking org.overture.typechecker.assistant.module.AModuleModulesAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModules.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.class]]
[checking org.overture.typechecker.assistant.pattern.APatternTypePairAssistant]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/APatternTypePairAssistant.class]]
[checking org.overture.typechecker.assistant.pattern.ATypeBindAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PBindBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/ATypeBindAssistantTC.class]]
[checking org.overture.typechecker.assistant.pattern.PatternListTC]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/UnaryOperator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Enumeration.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PatternListTC.class]]
[checking org.overture.typechecker.assistant.pattern.PBindAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PBindAssistantTC.class]]
[checking org.overture.typechecker.assistant.pattern.PMultipleBindAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PMultipleBindAssistantTC.class]]
[checking org.overture.typechecker.assistant.pattern.PPatternAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.class]]
[checking org.overture.typechecker.assistant.pattern.PPatternListAssistantTC]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/TreeSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/NavigableSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/SortedSet.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/pattern/PPatternListAssistantTC.class]]
[checking org.overture.typechecker.assistant.type.AClassTypeAssistantTC]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.class]]
[checking org.overture.typechecker.assistant.type.AOperationTypeAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapTypeBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/AOperationTypeAssistantTC.class]]
[checking org.overture.typechecker.assistant.type.ARecordInvariantTypeAssistantTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PFieldBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PField.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/ARecordInvariantTypeAssistantTC.class]]
[checking org.overture.typechecker.assistant.type.PTypeAssistantTC]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/type/PTypeAssistantTC.class]]
[checking org.overture.typechecker.utilities.DefinitionFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionFinder$Newquestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionFinder.class]]
[checking org.overture.typechecker.utilities.NameFinder]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/PRelationBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/NameFinder$Newquestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/NameFinder.class]]
[checking org.overture.typechecker.Environment]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/Environment.class]]
[checking org.overture.typechecker.utilities.DefinitionTypeResolver]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionTypeResolver$NewQuestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionTypeResolver.class]]
[checking org.overture.typechecker.utilities.type.PTypeResolver]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/AUnionTypeAssistant.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeResolver$Newquestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeResolver.class]]
[checking org.overture.typechecker.utilities.type.ConcreateTypeImplementor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetTypeBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ConcreateTypeImplementor$Newquestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ConcreateTypeImplementor.class]]
[checking org.overture.typechecker.utilities.pattern.PatternResolver]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMapletBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMaplet.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PatternResolver$NewQuestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PatternResolver.class]]
[checking org.overture.typechecker.utilities.pattern.AllDefinitionLocator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/AllDefinitionLocator$NewQuestion.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.class]]
[checking org.overture.typechecker.TypeComparator]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CloneNotSupportedException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/SNumericBasicTypeAssistant.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeComparator$Result.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeComparator$TypePair.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeComparator.class]]
[checking org.overture.typechecker.LexNameTokenAssistant]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/LexNameTokenAssistant.class]]
[checking org.overture.typechecker.TypeCheckInfo]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeCheckInfo.class]]
[checking org.overture.typechecker.utilities.type.QualifiedDefinition]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/QualifiedDefinition.class]]
[checking org.overture.typechecker.utilities.FreeVarInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/FreeVarInfo.class]]
[checking org.overture.typechecker.ModuleEnvironment]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ModuleEnvironment.class]]
[checking org.overture.typechecker.visitor.TypeCheckerExportsVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportBase.class)]]
[checking org.overture.typechecker.visitor.AbstractTypeCheckVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerExportsVisitor.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/AbstractTypeCheckVisitor$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.class]]
[checking org.overture.typechecker.TypeCheckerErrors]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeCheckerErrors.class]]
[checking org.overture.typechecker.utilities.expression.PreNameFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/PreNameFinder.class]]
[checking org.overture.typechecker.utilities.DefinitionTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionTypeFinder.class]]
[checking org.overture.typechecker.utilities.type.UnionBasisChecker]
[checking org.overture.typechecker.utilities.type.TypeUnwrapper]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/UnionBasisChecker.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeUnwrapper.class]]
[checking org.overture.typechecker.utilities.PTypeFunctionChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/PTypeFunctionChecker.class]]
[checking org.overture.typechecker.utilities.VariableNameCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/VariableNameCollector.class]]
[checking org.overture.typechecker.utilities.type.VoidExistanceChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/VoidExistanceChecker.class]]
[checking org.overture.typechecker.utilities.type.VoidBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/VoidBasisChecker.class]]
[checking org.overture.typechecker.ExcludedDefinitions]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ExcludedDefinitions.class]]
[checking org.overture.typechecker.utilities.type.ProductExtendedChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductExtendedChecker.class]]
[checking org.overture.typechecker.utilities.type.SeqBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SeqBasisChecker.class]]
[checking org.overture.typechecker.utilities.FunctionChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/FunctionChecker.class]]
[checking org.overture.typechecker.utilities.type.TypeEqualityChecker]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexQuoteToken.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeEqualityChecker.class]]
[checking org.overture.typechecker.utilities.type.TypeDisplayer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeDisplayer.class]]
[checking org.overture.typechecker.utilities.pattern.SimplePatternChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/SimplePatternChecker.class]]
[checking org.overture.typechecker.utilities.type.NarrowerThanComparator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/NarrowerThanComparator.class]]
[checking org.overture.typechecker.utilities.InstanceVariableChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/InstanceVariableChecker.class]]
[checking org.overture.typechecker.utilities.pattern.PatternUnresolver]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PatternUnresolver.class]]
[checking org.overture.typechecker.utilities.type.SeqTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SeqTypeFinder.class]]
[checking org.overture.typechecker.utilities.PureDefinitionChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/PureDefinitionChecker.class]]
[checking org.overture.typechecker.utilities.UsedMarker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UsedMarker.class]]
[checking org.overture.typechecker.utilities.DefinitionEqualityChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionEqualityChecker.class]]
[checking org.overture.typechecker.ClassTypeChecker]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexIdentifierToken.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[checking org.overture.typechecker.TypeChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ClassTypeChecker.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeChecker$IStatusListener.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeChecker$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeChecker.class]]
[checking org.overture.typechecker.TypeCheckException]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/TypeCheckException.class]]
[checking org.overture.typechecker.utilities.SelfDefinitionFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/SelfDefinitionFinder.class]]
[checking org.overture.typechecker.util.LexNameTokenEntry]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/LexNameTokenEntry.class]]
[checking org.overture.typechecker.util.LexNameTokenWrapper]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/LexNameTokenWrapper.class]]
[checking org.overture.typechecker.utilities.ComposeTypeCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ComposeTypeCollector.class]]
[checking org.overture.typechecker.utilities.type.PTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeFinder.class]]
[checking org.overture.typechecker.visitor.TypeCheckerStmVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBindBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStmBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexStringToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PAlternativeStmBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PClauseBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PClause.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCaseBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexBooleanToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmtAlternativeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignatorBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerStmVisitor.class]]
[checking org.overture.typechecker.utilities.type.RecordBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/RecordBasisChecker.class]]
[checking org.overture.typechecker.utilities.ValueDefinitionChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ValueDefinitionChecker.class]]
[checking org.overture.typechecker.utilities.type.IsEqVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/IsEqVisitor.class]]
[checking org.overture.typechecker.visitor.QualificationVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBooleanBinaryBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExpBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/QualificationVisitor.class]]
[checking org.overture.typechecker.utilities.expression.ExportDefinitionFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/ExportDefinitionFinder.class]]
[checking org.overture.typechecker.utilities.type.SetTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SetTypeFinder.class]]
[checking org.overture.typechecker.utilities.pattern.MultipleBindLister]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBindBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/MultipleBindLister.class]]
[checking org.overture.typechecker.visitor.TypeCheckVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckVisitor.class]]
[checking org.overture.typechecker.utilities.type.ProductBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductBasisChecker.class]]
[checking org.overture.typechecker.utilities.type.ClassBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ClassBasisChecker.class]]
[checking org.overture.typechecker.util.LexNameTokenMap]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Function.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiConsumer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/LexNameTokenMap.class]]
[checking org.overture.typechecker.FlatEnvironment]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/FlatEnvironment.class]]
[checking org.overture.typechecker.utilities.type.ClassTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ClassTypeFinder.class]]
[checking org.overture.typechecker.utilities.ExitTypeCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ExitTypeCollector.class]]
[checking org.overture.typechecker.utilities.FreeVariablesChecker]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PModifierBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PModifier.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSeqExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSeqExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExp.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/FreeVariablesChecker.class]]
[checking org.overture.typechecker.utilities.pattern.PossibleBindTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PossibleBindTypeFinder.class]]
[checking org.overture.typechecker.utilities.type.TagBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TagBasisChecker.class]]
[checking org.overture.typechecker.utilities.type.FunctionTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/FunctionTypeFinder.class]]
[checking org.overture.typechecker.utilities.UpdatableChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UpdatableChecker.class]]
[checking org.overture.typechecker.utilities.type.ProductTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductTypeFinder.class]]
[checking org.overture.typechecker.util.HackLexNameToken]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/HackLexNameToken.class]]
[checking org.overture.typechecker.utilities.DefinitionCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/DefinitionCollector.class]]
[checking org.overture.typechecker.utilities.pattern.PossibleTypeFinder]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIntegerToken.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/PossibleTypeFinder.class]]
[checking org.overture.typechecker.utilities.type.TypeUnresolver]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/TypeUnresolver.class]]
[checking org.overture.typechecker.utilities.Dereferer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/Dereferer.class]]
[checking org.overture.typechecker.utilities.UsedChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UsedChecker.class]]
[checking org.overture.typechecker.utilities.type.PTypeExtendedChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/PTypeExtendedChecker.class]]
[checking org.overture.typechecker.visitor.TypeCheckerPatternVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerPatternVisitor.class]]
[checking org.overture.typechecker.visitor.TypeCheckerOthersVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignatorBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerOthersVisitor.class]]
[checking org.overture.typechecker.utilities.expression.ExportDefinitionListFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/ExportDefinitionListFinder.class]]
[checking org.overture.typechecker.utilities.TypeDefinitionChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/TypeDefinitionChecker.class]]
[checking org.overture.typechecker.utilities.pattern.AlwaysMatchingPatternChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/pattern/AlwaysMatchingPatternChecker.class]]
[checking org.overture.typechecker.PrivateClassEnvironment]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/PrivateClassEnvironment.class]]
[checking org.overture.typechecker.utilities.type.OperationBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/OperationBasisChecker.class]]
[checking org.overture.typechecker.utilities.type.IsOrderedVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/IsOrderedVisitor.class]]
[checking org.overture.typechecker.ModuleTypeChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/ModuleTypeChecker.class]]
[checking org.overture.typechecker.utilities.OperationChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/OperationChecker.class]]
[checking org.overture.typechecker.utilities.KindFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/KindFinder.class]]
[checking org.overture.typechecker.utilities.type.MapBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MapBasisChecker.class]]
[checking org.overture.typechecker.utilities.type.OperationTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/OperationTypeFinder.class]]
[checking org.overture.typechecker.utilities.CallableOperationChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/CallableOperationChecker.class]]
[checking org.overture.typechecker.utilities.type.ProductExtendedTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/ProductExtendedTypeFinder.class]]
[checking org.overture.typechecker.utilities.type.SetBasisChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/SetBasisChecker.class]]
[checking org.overture.typechecker.assistant.TypeCheckerAssistantFactory]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/assistant/TypeCheckerAssistantFactory.class]]
[checking org.overture.typechecker.utilities.type.MultipleEqualityChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MultipleEqualityChecker$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MultipleEqualityChecker.class]]
[checking org.overture.typechecker.util.TypeCheckerUtil]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil$ExpressionTypeChecker.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil.class]]
[checking org.overture.typechecker.utilities.UnusedChecker]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/UnusedChecker.class]]
[checking org.overture.typechecker.utilities.ImplicitDefinitionFinder]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/ImplicitDefinitionFinder.class]]
[checking org.overture.ast.factory.AstFactoryTC]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/SyntaxReader.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/ast/factory/AstFactoryTC.class]]
[checking org.overture.typechecker.PublicClassEnvironment]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/PublicClassEnvironment.class]]
[checking org.overture.typechecker.visitor.TypeCheckerDefinitionVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTermBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTerm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinitionBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.class]]
[checking org.overture.typechecker.utilities.type.RecordTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/RecordTypeFinder.class]]
[checking org.overture.typechecker.FlatCheckedEnvironment]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/FlatCheckedEnvironment.class]]
[checking org.overture.typechecker.visitor.TypeCheckerImportsVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImportBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/SValueImportBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerImportsVisitor.class]]
[checking org.overture.typechecker.utilities.expression.ImportDefinitionFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/expression/ImportDefinitionFinder.class]]
[checking org.overture.typechecker.visitor.TypeCheckerExpVisitor]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Math.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SUnaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PAlternativeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PAlternative.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/visitor/TypeCheckerExpVisitor.class]]
[checking org.overture.typechecker.utilities.type.MapTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/MapTypeFinder.class]]
[checking org.overture.typechecker.utilities.type.UnionTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/utilities/type/UnionTypeFinder.class]]
[total 1409ms]
[INFO] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Some input files use unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/AbstractExternalTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/ModulesSlTypeCheckTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/framework/CommonTypeCheckerTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/utils/TestSourceFinder.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/ExternalModulesSlTypeCheckTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/framework/TypeCheckTestCase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/utils/OvertureTestHelper.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/ExternalClassesRtTypeCheckTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/utils/TypeSetAnalysis.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/external/ExternalClassesPpTypeCheckTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/ClassesPpTypeCheckTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java/org/overture/typechecker/tests/ClassesRtTypeCheckTest.java]]
[parsing completed 0ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/java,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/generated-test-sources/test-annotations]
[search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,.]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Test.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Result.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintWriter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/Properties.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/TestResourcesResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Document.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Element.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Node.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter$IResultStore.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runner/RunWith.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized$Parameters.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/IOException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/InvocationTargetException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InstantiationException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMMessage.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ParserException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IMessage.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Message.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes/org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Method.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnalysis.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.class)]]
[checking org.overture.typechecker.tests.external.AbstractExternalTest]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IResultCombiner.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[checking org.overture.typechecker.tests.framework.CommonTypeCheckerTest]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]]
[checking org.overture.typechecker.tests.framework.TypeCheckTestCase]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchFieldError.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/AbstractExternalTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/framework/CommonTypeCheckerTest$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/framework/CommonTypeCheckerTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/framework/TypeCheckTestCase.class]]
[checking org.overture.typechecker.tests.ModulesSlTypeCheckTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/ModulesSlTypeCheckTest.class]]
[checking org.overture.typechecker.tests.utils.TestSourceFinder]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileDescriptor.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStreamReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/utils/TestSourceFinder.class]]
[checking org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/ExternalModulesSlTypeCheckTest.class]]
[checking org.overture.typechecker.tests.utils.OvertureTestHelper]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil$ParserResult.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestionAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/utils/OvertureTestHelper.class]]
[checking org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/ExternalClassesRtTypeCheckTest.class]]
[checking org.overture.typechecker.tests.utils.TypeSetAnalysis]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Executable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Member.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AccessibleObject.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/utils/TypeSetAnalysis.class]]
[checking org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/external/ExternalClassesPpTypeCheckTest.class]]
[checking org.overture.typechecker.tests.ClassesPpTypeCheckTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/ClassesPpTypeCheckTest.class]]
[checking org.overture.typechecker.tests.ClassesRtTypeCheckTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/org/overture/typechecker/tests/ClassesRtTypeCheckTest.class]]
[total 137ms]
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Tests run: 74, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.3 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.867 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Tests run: 1216, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.424 sec - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Running org.overture.typechecker.tests.ClassesRtTypeCheckTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.902 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.905 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.546 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest

Results :

Tests run: 1906, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker ---
[INFO] Analyzed bundle 'The VDM Type Checker' with 146 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker ---
[INFO] 
82 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:93: warning: no @param for defs
[WARNING] protected void cyclicDependencyCheck(List<PDefinition> defs)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:359: warning: no @param for type
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:359: warning: no @param for fromModule
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:359: warning: no @return
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:51: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:63: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:64: warning: no description for @param
[WARNING] * @param factory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:70: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:82: warning: no @param for scope
[WARNING] protected void dupHideCheck(List<PDefinition> list, NameScope scope)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:170: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:171: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:172: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:179: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:180: warning: no description for @param
[WARNING] * @param fromModule
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:181: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:188: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:195: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:202: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:212: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:219: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:226: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:227: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:240: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:256: warning: no description for @param
[WARNING] * @param downTo
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:57: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:58: warning: no description for @param
[WARNING] * @param outer
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java:61: warning: no description for @param
[WARNING] * @param modules
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:76: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:77: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:78: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:97: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:98: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:99: warning: no description for @param
[WARNING] * @param value
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:118: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:119: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:149: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:150: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:170: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:171: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:559: warning: no description for @param
[WARNING] * @param sub
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:560: warning: no description for @param
[WARNING] * @param sup
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:961: warning: no description for @param
[WARNING] * @param type
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:962: warning: no description for @param
[WARNING] * @param env
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:963: warning: no description for @param
[WARNING] * @param newTypes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:964: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1049: warning: no description for @param
[WARNING] * @param a
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1050: warning: no description for @param
[WARNING] * @param b
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1051: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1156: warning: no @param for t1
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1156: warning: no @param for t2
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1156: warning: no @return
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:396: warning: no description for @param
[WARNING] * @param d
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:397: warning: no description for @param
[WARNING] * @param defs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:398: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.java:52: warning: no description for @param
[WARNING] * @param m
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:56: warning: no description for @param
[WARNING] * @param rp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:57: warning: no description for @param
[WARNING] * @param ptype
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:58: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:59: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @param for def
[WARNING] public boolean isConstructor(PDefinition def)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @return
[WARNING] public boolean isConstructor(PDefinition def)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @param for env
[WARNING] public boolean inConstructor(Environment env)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @return
[WARNING] public boolean inConstructor(Environment env)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:185: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:186: warning: no description for @param
[WARNING] * @param localDefs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:187: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:188: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:189: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:190: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:235: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:236: warning: no description for @param
[WARNING] * @param nodeLocation
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:237: warning: no description for @param
[WARNING] * @param bind
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:238: warning: no description for @param
[WARNING] * @param suchThat
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:239: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:240: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:242: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2976: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2998: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3667: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3668: warning: no description for @param
[WARNING] * @param measure
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3669: warning: no description for @param
[WARNING] * @param close
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3670: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT-javadoc.jar