SuccessConsole Output

Skipping 99 KB.. Full Log
ture/ast/statements/ANewObjectDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASelfObjectDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMapSeqStateDesignatorIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AFieldStateDesignatorIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ABooleanPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ACharacterPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIgnorePattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIntegerPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ANilPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AQuotePattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ARealPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ARecordPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AStringPattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARecordModifier.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIdentifierToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARecordModifierIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ALetBeStStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AFieldStateDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AMapSeqStateDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignator.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/ASeqBind.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetBind.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATypeBind.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANarrowExp.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/APreOpExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APostOpExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotYetSpecifiedExp.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/AThreadIdExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANilExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMkBasicExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsExp.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/AInSetBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotInSetBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetUnionBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetIntersectBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetDifferenceBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubsetBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AProperSubsetBinaryExp.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/ADistIntersectUnaryExp.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/ASetEnumSetExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AExists1Exp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetRangeSetExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIfExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATupleExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldNumberExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFuncInstatiationExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMuExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMkTypeExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubseqExp.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/ADistConcatUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqCompSeqExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqConcatBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APlusPlusBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACompBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapEnumMapExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapletExp.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/AMapRangeUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapUnionBinaryExp.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/ADomainResToBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADomainResByBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARangeResToBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARangeResByBinaryExp.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/AEqualsBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotEqualBinaryExp.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/ASeqEnumSeqExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AApplyExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATimesNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APlusNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubtractNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AGreaterEqualNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStarStarBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AGreaterNumericBinaryExp.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/ADivideNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADivNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AModNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARemNumericBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AImpliesBooleanBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AEquivalentBooleanBinaryExp.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/AUnaryMinusUnaryExp.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/AAbsoluteUnaryExp.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/AOrBooleanBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AAndBooleanBinaryExp.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/AElementsUnaryExp.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/ATailUnaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ABooleanConstExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIntLiteralExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACharLiteralExp.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/AQuoteLiteralExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AHistoryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsOfBaseClassExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsOfClassExp.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/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/VelocityContext.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACardUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AElemsUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFieldNumberExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntDivNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIsOfClassExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALenUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapDomainUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMissingMemberRuntimeErrorExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AModNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARemNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASeqConcatBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ARaiseErrorStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AErrorTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ASystemClassDeclIR.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StringReader.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/Template.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeServices.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeSingleton.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/parser/ParseException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/parser/node/SimpleNode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ABreakStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEqualsBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ATryStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATernaryIfExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExternalExpIR.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileOutputStream.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/FileWriter.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/util/Collections.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/definitions/ClassList.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/lex/LexTokenReader.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/Console.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMError.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMErrorsException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMWarning.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ClassReader.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ExpressionReader.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/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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ClassTypeChecker.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/Environment.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/PublicClassEnvironment.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeCheckInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeChecker.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/visitor/TypeCheckVisitor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACasesStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AContinueStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APreCondRuntimeErrorExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AFromModuleImports.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFromModuleImportsIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASeqCompAddStmIR.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedWriter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStreamWriter.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/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/app/Velocity.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/modules/ModuleList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ABusClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ACpuClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ABusClassDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ACpuClassDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALetBeStNoBindingRuntimeErrorExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADivideNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATimesNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ANonDeterministicBlockStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALetBeStExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARecordModExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompMapExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompSetExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AForAllQuantifierExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExistsQuantifierExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIotaExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExists1QuantifierExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALetDefExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACasesExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBoolBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AApplyExpressionTraceCoreDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ABracketedExpressionTraceCoreDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AConcurrentExpressionTraceCoreDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAddrEqualsBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAddrNotEqualsBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AGreaterEqualNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AGreaterNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALessEqualNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALessNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMinusUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANotEqualsBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APlusNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APlusUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APowerNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASubtractNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AXorBoolBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AHistoryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AInstanceTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ALetDefBindingTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ARepeatTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACallObjectStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleIsExpIR.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/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.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.codegen.traces.TraceMethodTag]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceMethodTag.class]]
[checking org.overture.codegen.traces.TraceStmBuilder]
[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/RuntimeException.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/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[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/Category.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/spi/AppenderAttachable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STermIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/Node.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/util/Collection.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/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[/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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestionAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STypeIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStmIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STraceCoreDeclIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STraceDeclIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SMultipleBindIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SPatternIRBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SLiteralExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SCallStmBase.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[/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/SFunctionDefinitionBase.class)]]
[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[/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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SBasicTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SUnaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIRBase.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/codegen/platform/target/classes/org/overture/codegen/traces/TraceStmBuilder$1.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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceStmBuilder.class]]
[checking org.overture.codegen.traces.TraceNodeData]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceNodeData.class]]
[checking org.overture.codegen.traces.StoreAssistant]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SNumericBasicBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SNumericBasicTypeIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/StoreAssistant.class]]
[checking org.overture.codegen.traces.TracesTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLocalParamIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLocalParamIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TracesTrans.class]]
[checking org.overture.codegen.ir.IRInfo]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRInfo.class]]
[checking org.overture.codegen.trans.assistants.TransAssistantIR]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Locale.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/AstAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistant.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/PTypeAssistant.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)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSetTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSeqTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBoolBinaryBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBinaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SNumericBinaryBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AIncrementStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSeqExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSeqExpIR.class)]]
[checking org.overture.codegen.trans.assistants.BaseTransformationAssistant]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/assistants/TransAssistantIR.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/assistants/BaseTransformationAssistant.class]]
[checking org.overture.codegen.traces.TraceNames]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceNames.class]]
[checking org.overture.codegen.trans.IterationVarPrefixes]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IterationVarPrefixes.class]]
[checking org.overture.codegen.trans.iterator.ILanguageIterator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iterator/ILanguageIterator.class]]
[checking org.overture.codegen.traces.ICallStmToStringMethodBuilder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/ICallStmToStringMethodBuilder.class]]
[checking org.overture.codegen.traces.TraceSupportedAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceSupportedAnalysis.class]]
[checking org.overture.codegen.visitor.VisitorManager]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/VisitorManager.class]]
[checking org.overture.codegen.assistant.AssistantManager]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantManager.class]]
[checking org.overture.codegen.ir.VdmNodeInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/VdmNodeInfo.class]]
[checking org.overture.codegen.ir.IrNodeInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IrNodeInfo.class]]
[checking org.overture.codegen.ir.ITempVarGen]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/ITempVarGen.class]]
[checking org.overture.codegen.ir.IRSettings]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRSettings.class]]
[checking org.overture.codegen.visitor.IRVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/IRVisitor.class]]
[checking org.overture.codegen.assistant.NodeAssistantIR]
[checking org.overture.codegen.assistant.AssistantBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/NodeAssistantIR.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantBase.class]]
[checking org.overture.codegen.assistant.ExpAssistantIR]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicBase.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/PTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SLiteralExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLetBeStIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLetBeStIR.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)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SAltExpExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/AUnionTypeAssistant.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SAltExpExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStateDesignatorIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SMapTypeBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/ExpAssistantIR.class]]
[checking org.overture.codegen.assistant.DeclAssistantIR]
[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/modules/PModules.class)]]
[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/PAccessSpecifierBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifier.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccess.class)]]
[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/SClassDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PDefinitionAssistant.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/PAccessSpecifierAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PAccessSpecifierAssistant.class)]]
[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/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR$2.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR.class]]
[checking org.overture.codegen.assistant.StmAssistantIR]
[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/PAlternativeStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SAltStmStmBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SAltStmStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStmBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/StmAssistantIR.class]]
[checking org.overture.codegen.assistant.TypeAssistantIR]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexQuoteToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SObjectDesignatorIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AIntBasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SBasicTypeWrappersTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANat1BasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANatBasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARatBasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARealBasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ACharBasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ABoolBasicTypeWrappersTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PPatternAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/pattern/PPatternAssistant.class)]]
[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)]]
[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/SInvariantType.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/TypeAssistantIR$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/TypeAssistantIR$2.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/TypeAssistantIR.class]]
[checking org.overture.codegen.assistant.LocationAssistantIR]
[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/util/Comparator.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/ToDoubleFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToLongFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToIntFunction.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/LocationAssistantIR$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/LocationAssistantIR$2.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/LocationAssistantIR.class]]
[checking org.overture.codegen.assistant.BindAssistantIR]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SBindIRBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/BindAssistantIR.class]]
[checking org.overture.codegen.assistant.PatternAssistantIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/PatternAssistantIR.class]]
[checking org.overture.codegen.trans.IIterationStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IIterationStrategy.class]]
[checking org.overture.codegen.visitor.AbstractVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/AbstractVisitorIR.class]]
[checking org.overture.codegen.assistant.DeclStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclStrategy.class]]
[checking org.overture.codegen.utils.LexNameTokenWrapper]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/LexNameTokenWrapper.class]]
[checking org.overture.codegen.assistant.CollectionTypeStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/CollectionTypeStrategy.class]]
[checking org.overture.codegen.utils.GeneralUtils]
[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/lang/System.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/nio/charset/CharsetDecoder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/Charset.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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneralUtils.class]]
[checking org.overture.codegen.visitor.ModuleVisitorIR]
[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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SImportsIRBase.class)]]
[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)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExportsIRBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ModuleVisitorIR.class]]
[checking org.overture.codegen.visitor.TypeVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/TypeVisitorIR.class]]
[checking org.overture.codegen.trans.RenamedTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/RenamedTrans.class]]
[checking org.overture.codegen.trans.comp.MapCompStrategy]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SMapExpBase.class)]]
[checking org.overture.codegen.trans.comp.ComplexCompStrategy]
[checking org.overture.codegen.trans.comp.CompStrategy]
[checking org.overture.codegen.trans.AbstractIterationStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/MapCompStrategy.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/ComplexCompStrategy.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/CompStrategy.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/AbstractIterationStrategy.class]]
[checking org.overture.codegen.trans.DeclarationTag]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/DeclarationTag.class]]
[checking org.overture.codegen.analysis.violations.NamingComparison]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexToken.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/NamingComparison.class]]
[checking org.overture.codegen.merging.MergeCoordinator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergeCoordinator.class]]
[checking org.overture.codegen.merging.MergerObserver]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergerObserver.class]]
[checking org.overture.codegen.trans.funcvalues.FuncValTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/funcvalues/FuncValTrans.class]]
[checking org.overture.codegen.trans.funcvalues.FuncValAssistant]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/funcvalues/FuncValAssistant.class]]
[checking org.overture.codegen.trans.funcvalues.FuncValPrefixes]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/funcvalues/FuncValPrefixes.class]]
[checking org.overture.codegen.trans.FieldOrderTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/EdgeFactory.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Supplier.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/graph/AbstractBaseGraph.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/Graph.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/graph/AbstractGraph.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/traverse/AbstractGraphIterator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/traverse/GraphIterator.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/FieldOrderTrans$VarExpFinder.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/FieldOrderTrans$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/FieldOrderTrans.class]]
[checking org.overture.codegen.analysis.vdm.VarOccurencesCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VarOccurencesCollector.class]]
[checking org.overture.codegen.traces.CallObjTraceLocalizer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/CallObjTraceLocalizer.class]]
[checking org.overture.codegen.visitor.IRVisitorRecursiveTypeHandler]
[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/util/RandomAccess.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/IRVisitorRecursiveTypeHandler.class]]
[checking org.overture.codegen.analysis.vdm.UnreachableStmRemover]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStm.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/UnreachableStmRemover.class]]
[checking org.overture.codegen.trans.quantifier.OrdinaryQuantifierStrategy]
[checking org.overture.codegen.trans.quantifier.QuantifierBaseStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/OrdinaryQuantifierStrategy.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/QuantifierBaseStrategy.class]]
[checking org.overture.codegen.trans.quantifier.OrdinaryQuantifier]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CloneNotSupportedException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/OrdinaryQuantifier.class]]
[checking org.overture.codegen.trans.iterator.JavaLanguageIterator]
[checking org.overture.codegen.trans.iterator.AbstractLanguageIterator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iterator/JavaLanguageIterator.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iterator/AbstractLanguageIterator.class]]
[checking org.overture.codegen.trans.comp.SetCompStrategy]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSetExpBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/SetCompStrategy.class]]
[checking org.overture.codegen.analysis.vdm.VarRenamer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VarRenamer.class]]
[checking org.overture.codegen.analysis.vdm.Renaming]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/Renaming.class]]
[checking org.overture.codegen.analysis.vdm.VarShadowingRenameCollector]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AMultiBindListDefinition.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)]]
[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/definitions/traces/PTraceDefinitionBase.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/PStmtAlternative.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ADefPatternBind.class)]]
[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/patterns/PPatternBind.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignatorBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PMultipleBindAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PBindAssistantTC.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/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VarShadowingRenameCollector.class]]
[checking org.overture.codegen.ir.TempVarNameGen]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/TempVarNameGen.class]]
[checking org.overture.codegen.analysis.vdm.DefinitionInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/DefinitionInfo.class]]
[checking org.overture.codegen.visitor.ExportsVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ExportsVisitorIR.class]]
[checking org.overture.codegen.trans.conc.EvalPermPredTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/EvalPermPredTrans.class]]
[checking org.overture.codegen.trans.conc.ConcPrefixes]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/ConcPrefixes.class]]
[checking org.overture.codegen.trans.conv.ObjectDesignatorToExpIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conv/ObjectDesignatorToExpIR.class]]
[checking org.overture.codegen.trans.SlAccessTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/SlAccessTrans.class]]
[checking org.overture.codegen.analysis.violations.ReservedWordsComparison]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/ReservedWordsComparison.class]]
[checking org.overture.codegen.visitor.StmVisitorIR]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AExitStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AErrorStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/APeriodicStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACyclesStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ADurationStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AStartlistStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AStartStmIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/StmVisitorIR.class]]
[checking org.overture.codegen.visitor.ImportVisitorIR]
[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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SImportIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/SValueImportBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SValueImportBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ImportVisitorIR.class]]
[checking org.overture.codegen.ir.IRConstants]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRConstants.class]]
[checking org.overture.codegen.analysis.violations.InvalidNamesResult]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/InvalidNamesResult.class]]
[checking org.overture.codegen.analysis.violations.Violation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/Violation.class]]
[checking org.overture.codegen.traces.IdentifierPatternCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/IdentifierPatternCollector.class]]
[checking org.overture.codegen.traces.PatternTypeFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/PatternTypeFinder.class]]
[checking org.overture.codegen.trans.PrePostTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PrePostTrans.class]]
[checking org.overture.codegen.merging.TemplateData]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateData.class]]
[checking org.overture.codegen.utils.AnalysisExceptionIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/AnalysisExceptionIR.class]]
[checking org.overture.codegen.trans.PolyFuncTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PolyFuncTrans.class]]
[checking org.overture.codegen.visitor.DeclVisitorIR]
[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/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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/DeclVisitorIR.class]]
[checking org.overture.codegen.visitor.MultipleBindVisitorIR]
[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/codegen/platform/target/classes/org/overture/codegen/visitor/MultipleBindVisitorIR.class]]
[checking org.overture.codegen.trans.IsExpTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SIsExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SIsExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IsExpTrans.class]]
[checking org.overture.codegen.utils.Generated]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/Generated.class]]
[checking org.overture.codegen.analysis.vdm.VdmAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VdmAnalysis.class]]
[checking org.overture.codegen.trans.patterns.PatternBlockData]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternBlockData.class]]
[checking org.overture.codegen.trans.patterns.MismatchHandling]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/MismatchHandling.class]]
[checking org.overture.codegen.visitor.ExportVisitorIR]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExportIRBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ExportVisitorIR.class]]
[checking org.overture.codegen.trans.Exp2StmVarPrefixes]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/Exp2StmVarPrefixes.class]]
[checking org.overture.codegen.visitor.ObjectDesignatorVisitorIR]
[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/codegen/platform/target/classes/org/overture/codegen/visitor/ObjectDesignatorVisitorIR.class]]
[checking org.overture.codegen.trans.AssignStmTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/AssignStmTrans.class]]
[checking org.overture.codegen.trans.conv.StateDesignatorToExpIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conv/StateDesignatorToExpIR.class]]
[checking org.overture.codegen.visitor.PatternVisitorIR]
[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/intf/lex/ILexCharacterToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIntegerToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexRealToken.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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/PatternVisitorIR.class]]
[checking org.overture.codegen.trans.SlStateAccessTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/SlStateAccessTrans.class]]
[checking org.overture.codegen.analysis.vdm.AbstractAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/AbstractAnalysis.class]]
[checking org.overture.codegen.visitor.ModifierVisitorIR]
[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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SModifierIRBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ModifierVisitorIR.class]]
[checking org.overture.codegen.ir.IRGenerator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRGenerator.class]]
[checking org.overture.codegen.ir.IRStatus]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRStatus.class]]
[checking org.overture.codegen.trans.ITotalTransformation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ITotalTransformation.class]]
[checking org.overture.codegen.trans.IPostCheckCreator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IPostCheckCreator.class]]
[checking org.overture.codegen.traces.TermVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TermVisitorIR.class]]
[checking org.overture.codegen.printer.DefaultConsolePrinter]
[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/io/FilterOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[checking org.overture.codegen.printer.AbstractPrinter]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/printer/DefaultConsolePrinter.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/printer/AbstractPrinter.class]]
[checking org.overture.codegen.trans.LetBeStTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/LetBeStTrans.class]]
[checking org.overture.codegen.trans.OldNameRenamer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/OldNameRenamer.class]]
[checking org.overture.codegen.visitor.StateDesignatorVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/StateDesignatorVisitorIR.class]]
[checking org.overture.codegen.visitor.ExpVisitorIR]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATimeExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AThreadIdExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMkBasicExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AInSetBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetUnionBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetIntersectBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetDifferenceBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetSubsetBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetProperSubsetBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistUnionUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistIntersectUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APowerSetUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSetExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SQuantifierExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARangeSetExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AElseIfExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASubSeqExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistConcatUnaryExpIR.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/patterns/PBindBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASeqModificationBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SMapExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapRangeUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapUnionBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistMergeUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADomainResByBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapInverseUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIndicesUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASuperVarExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExternalDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapIterationBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFuncIterationBinaryExpIR.class)]]
[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/SBooleanBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFloorUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAbsUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AHeadUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATailUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIsOfBaseClassExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASameBaseClassExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASameClassExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ExpVisitorIR.class]]
[checking org.overture.codegen.merging.MergeContext]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/AbstractContext.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/Context.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/InternalContextBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/InternalHousekeepingContext.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/InternalEventContext.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergeContext.class]]
[checking org.overture.codegen.trans.uniontypes.UnionTypeTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SRuntimeErrorExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SRuntimeErrorExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans$TypeFinder.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans$2.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans.class]]
[checking org.overture.codegen.trans.uniontypes.UnionTypeVarPrefixes]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeVarPrefixes.class]]
[checking org.overture.codegen.trans.patterns.DeclBlockPair]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/DeclBlockPair.class]]
[checking org.overture.codegen.trans.ConstructorTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ConstructorTrans.class]]
[checking org.overture.codegen.merging.TemplateManager]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeConstants.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeLogger.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/resource/Resource.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/TemplateInitException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/VelocityException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateManager.class]]
[checking org.overture.codegen.trans.quantifier.CounterData]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/CounterData.class]]
[checking org.overture.codegen.trans.WhileStmTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/WhileStmTrans.class]]
[checking org.overture.codegen.trans.conc.MainClassConcTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/MainClassConcTrans.class]]
[checking org.overture.codegen.trans.letexps.IfExpTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/letexps/IfExpTrans.class]]
[checking org.overture.codegen.trans.conc.SentinelTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/SentinelTrans.class]]
[checking org.overture.codegen.trans.SeqConvTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AStringToSeqUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASeqToStringUnaryExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/SeqConvTrans.class]]
[checking org.overture.codegen.utils.GeneralCodeGenUtils]
[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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/visitor/AbstractTypeCheckVisitor.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[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/SyntaxReader.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/Writer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneralCodeGenUtils$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneralCodeGenUtils.class]]
[checking org.overture.codegen.ir.IREventCoordinator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IREventCoordinator.class]]
[checking org.overture.codegen.ir.IREventObserver]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IREventObserver.class]]
[checking org.overture.codegen.trans.patterns.PatternTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APatternMatchRuntimeErrorExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleCompatibilityExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternTrans.class]]
[checking org.overture.codegen.trans.patterns.PatternVarPrefixes]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternVarPrefixes.class]]
[checking org.overture.codegen.trans.patterns.PatternInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternInfo.class]]
[checking org.overture.codegen.merging.MergeVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/ResourceNotFoundException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/ParseErrorException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/MethodInvocationException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergeVisitor.class]]
[checking org.overture.codegen.merging.TemplateCallable]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateCallable.class]]
[checking org.overture.codegen.trans.PreCheckTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PreCheckTrans.class]]
[checking org.overture.codegen.analysis.violations.GeneratedVarComparison]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/GeneratedVarComparison.class]]
[checking org.overture.codegen.ir.IRGeneratedTag]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRGeneratedTag.class]]
[checking org.overture.codegen.trans.quantifier.Exists1QuantifierStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/Exists1QuantifierStrategy.class]]
[checking org.overture.codegen.trans.PostCheckTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PostCheckTrans.class]]
[checking org.overture.codegen.visitor.ImportsVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ImportsVisitorIR.class]]
[checking org.overture.codegen.analysis.violations.VdmAstAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/VdmAstAnalysis$ViolationAnalysisApplication.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/VdmAstAnalysis.class]]
[checking org.overture.codegen.analysis.violations.ViolationAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/ViolationAnalysis.class]]
[checking org.overture.codegen.analysis.vdm.IdDesignatorOccurencesCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/IdDesignatorOccurencesCollector.class]]
[checking org.overture.codegen.trans.BlockCleanupTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/BlockCleanupTrans.class]]
[checking org.overture.codegen.ir.IROperatorInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IROperatorInfo.class]]
[checking org.overture.codegen.trans.comp.SeqCompStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/SeqCompStrategy.class]]
[checking org.overture.codegen.ir.CodeGenBase]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetEncoder.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/CodeGenBase$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/CodeGenBase.class]]
[checking org.overture.codegen.utils.GeneratedData]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneratedData.class]]
[checking org.overture.codegen.utils.GeneratedModule]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneratedModule.class]]
[checking org.overture.codegen.visitor.ClassVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ClassVisitorIR.class]]
[checking org.overture.codegen.trans.let.LetBeStStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/let/LetBeStStrategy.class]]
[checking org.overture.codegen.trans.DivideTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/DivideTrans.class]]
[checking org.overture.codegen.analysis.vdm.IdStateDesignatorDefCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/IdStateDesignatorDefCollector.class]]
[checking org.overture.codegen.analysis.violations.NameViolationAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/NameViolationAnalysis.class]]
[checking org.overture.codegen.trans.uniontypes.NonDetStmTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/NonDetStmTrans.class]]
[checking org.overture.codegen.trans.Exp2StmTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/Exp2StmTrans.class]]
[checking org.overture.codegen.trans.iota.IotaStrategy]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIotaRuntimeErrorExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iota/IotaStrategy.class]]
[checking org.overture.codegen.trans.letexps.FuncTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/letexps/FuncTrans.class]]
[checking org.overture.codegen.printer.MsgPrinter]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/printer/MsgPrinter.class]]
[checking org.overture.codegen.traces.TraceCoreDeclVisitorIR]
[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/codegen/platform/target/classes/org/overture/codegen/traces/TraceCoreDeclVisitorIR.class]]
[checking org.overture.codegen.ir.IROperatorLookup]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IROperatorLookup.class]]
[checking org.overture.codegen.trans.conc.MutexDeclTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/MutexDeclTrans.class]]
[checking org.overture.codegen.analysis.vdm.RenameAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/RenameAnalysis.class]]
[checking org.overture.codegen.traces.TraceDeclVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceDeclVisitorIR.class]]
[checking org.overture.codegen.traces.TraceLetBeStStrategy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceLetBeStStrategy.class]]
[checking org.overture.codegen.trans.CallObjStmTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/CallObjStmTrans.class]]
[checking org.overture.codegen.analysis.vdm.NameCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/NameCollector.class]]
[checking org.overture.codegen.ir.IRNamedTypeInvariantTag]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRNamedTypeInvariantTag.class]]
[checking org.overture.codegen.trans.ModuleToClassTransformation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ModuleToClassTransformation$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ModuleToClassTransformation.class]]
[checking org.overture.codegen.trans.AtomicStmTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/AtomicStmTrans.class]]
[checking org.overture.codegen.analysis.vdm.IdOccurencesCollector]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/IdOccurencesCollector.class]]
[checking org.overture.codegen.trans.IsExpSimplifyTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ABoolIsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANatIsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANat1IsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntIsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARatIsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARealIsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACharIsExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATokenIsExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IsExpSimplifyTrans.class]]
[checking org.overture.codegen.visitor.BindVisitorIR]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/BindVisitorIR.class]]
[checking org.overture.codegen.analysis.violations.TypenameComparison]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/TypenameComparison.class]]
[total 958ms]
[INFO] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java uses unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 12 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/LibNameTester.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/TemplateManagerTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/LocalVarTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/util/FirstVarFinder.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/util/DeclAssistantTest.java]]
[parsing completed 0ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/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/codegen/platform/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar,.]
[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/.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/ast/lex/Dialect.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR.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[/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/io/File.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/parser/ParseException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ADefaultClassDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APlusNumericBinaryExpIR.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateData.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateManager.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/Class.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.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 RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRGenerator.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRStatus.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIdentifierVarExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IAnalysis.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRConstants.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRInfo.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/name/ATokenNameIR.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)]]
[checking org.overture.codegen.tests.LibNameTester]
[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/lang/AutoCloseable.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/Boolean.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantBase.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantManager.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/LibNameTester.class]]
[checking org.overture.codegen.tests.TemplateManagerTest]
[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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/Node.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/Template.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/resource/Resource.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SNumericBinaryBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBinaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIRBase.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/Error.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.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/codegen/platform/target/test-classes/org/overture/codegen/tests/TemplateManagerTest.class]]
[checking org.overture.codegen.tests.LocalVarTest]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SVarExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SVarExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIR.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/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestionAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestion.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IAnswer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[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[/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[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExp.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/LocalVarTest.class]]
[checking org.overture.codegen.tests.util.FirstVarFinder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/util/FirstVarFinder.class]]
[checking org.overture.codegen.tests.util.DeclAssistantTest]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIR.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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/util/DeclAssistantTest.class]]
[total 64ms]
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.codegen.tests.LocalVarTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.465 sec - in org.overture.codegen.tests.LocalVarTest
Running org.overture.codegen.tests.util.DeclAssistantTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.codegen.tests.util.DeclAssistantTest
Running org.overture.codegen.tests.TemplateManagerTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.23 sec - in org.overture.codegen.tests.TemplateManagerTest

Results :

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

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform ---
[INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform ---
[INFO] 
4 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:77: warning: no description for @param
[WARNING] * @param userCallables
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:60: warning: no description for @param
[WARNING] * @param templateManager
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:61: warning: no description for @param
[WARNING] * @param templateCallables
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/TemplateManager.java:75: warning: no description for @param
[WARNING] * @param templateLoadRef
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ platform ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/platform/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT-javadoc.jar