SuccessConsole Output

Skipping 7 KB.. Full Log
sing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/ImportsTrans.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/UnsupportedLibWarningTrans.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/ClassToInterfaceTrans.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaValueSemanticsTag.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaRecordCreator.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaMainTag.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGenMain.java]]
[parsing completed 2ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaFormatAssistant.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JUnit4Trans.java]]
[parsing completed 1ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/generated-sources/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/javagen/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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-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/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-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/codegen/ir/target/ir-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/log4j/log4j/1.2.17/log4j-1.2.17.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-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/com/google/googlejavaformat/google-java-format/1.0/google-java-format-1.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/guava/guava/19.0/guava-19.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/beust/jcommander/1.47/jcommander-1.47.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/jdt/org.eclipse.jdt.core/3.10.0/org.eclipse.jdt.core-3.10.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.resources/3.7.100/org.eclipse.core.resources-3.7.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.expressions/3.4.300/org.eclipse.core.expressions-3.4.300.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.runtime/3.7.0/org.eclipse.core.runtime-3.7.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/osgi/org.eclipse.osgi/3.7.1/org.eclipse.osgi-3.7.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.common/3.6.0/org.eclipse.equinox.common-3.6.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.jobs/3.5.100/org.eclipse.core.jobs-3.5.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.registry/3.5.101/org.eclipse.equinox.registry-3.5.101.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.preferences/3.4.1/org.eclipse.equinox.preferences-3.4.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.contenttype/3.4.100/org.eclipse.core.contenttype-3.4.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.app/1.3.100/org.eclipse.equinox.app-1.3.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.filesystem/1.3.100/org.eclipse.core.filesystem-1.3.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/text/org.eclipse.text/3.5.101/org.eclipse.text-3.5.101.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.commands/3.6.0/org.eclipse.core.commands-3.6.0.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/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,.]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/TraceNames.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/Exp2StmVarPrefixes.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/IterationVarPrefixes.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/conc/ConcPrefixes.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/funcvalues/FuncValPrefixes.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/patterns/PatternVarPrefixes.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/uniontypes/UnionTypeVarPrefixes.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AInheritedDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AVariableExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexIdentifierToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACallObjectStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACallStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/NamingComparison.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar(org/apache/commons/lang/StringEscapeUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/Logger.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AStateDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.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/types/ARecordInvariantType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/ClonableString.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/AssistantBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/LocationAssistantIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/TypeAssistantIR.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/name/ATokenNameIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/name/ATypeNameIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ABlockStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AForLoopStmIR.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)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/merging/MergeVisitor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/merging/TemplateCallable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/funcvalues/FuncValAssistant.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneralUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/type/PTypeAssistantTC.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StringWriter.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/stream/Collectors.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/AssistantManager.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/SExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFieldDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AMethodDeclIR.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/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/statements/AAssignToExpStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACallObjectExpStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AForAllStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMapCompAddStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMapSeqUpdateStmIR.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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASetCompAddStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AExternalTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AMethodTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARecordTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ATupleTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AUnionTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SMapTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSeqTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSetTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ARecordDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AVarDeclIR.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/AAndBoolBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AApplyExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACastUnaryExpIR.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/expressions/AFieldExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AIdentifierPatternIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/APlainCallStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ABoolBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AObjectTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRGeneratedTag.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFormalParamLocalParamIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExplicitVarExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AStringTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ATemplateTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStmIR.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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANewExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANotUnaryExpIR.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/AStringLiteralExpIR.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/statements/AIfStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AReturnStmIR.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/SBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AInterfaceDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ATypeDeclIR.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/PIR.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/IPostCheckCreator.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/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AClassClassDefinition.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/patterns/ADefPatternBind.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/patterns/ATypeMultipleBind.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBind.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForPatternBindStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/VdmNodeInfo.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnalysis.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/AStarStarBinaryExp.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/AForAllExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AExistsExp.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/PExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALetDefExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALetBeStExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapCompMapExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetCompSetExp.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/ATimeExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIdentifierStateDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/NameCollector.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/Renaming.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/VarRenamer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/VarShadowingRenameCollector.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/declarations/AModuleDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/DivideTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/ModuleToClassTransformation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneralCodeGenUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/Generated.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneratedData.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneratedModule.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/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/CodeGenBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IREventCoordinator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntLiteralExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/TracesTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/assistants/TransAssistantIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/conc/EvalPermPredTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/conc/MainClassConcTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/conc/MutexDeclTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/conc/SentinelTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/funcvalues/FuncValTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/iterator/ILanguageIterator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/iterator/JavaLanguageIterator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/letexps/FuncTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/letexps/IfExpTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/patterns/PatternTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/quantifier/CounterData.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/uniontypes/NonDetStmTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/uniontypes/UnionTypeTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/InvalidNamesResult.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRStatus.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.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 ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IROperatorInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IROperatorLookup.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/ASubtractNumericBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ATypeDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AClassTypeIR.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Pattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRSettings.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/.repository/com/google/googlejavaformat/google-java-format/1.0/google-java-format-1.0.jar(com/google/googlejavaformat/java/Formatter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/googlejavaformat/google-java-format/1.0/google-java-format-1.0.jar(com/google/googlejavaformat/java/FormatterException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.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[/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/ALenUnaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/merging/TemplateManager.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashMap.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/ITempVarGen.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/utilities/type/ClassTypeFinder.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/ICallStmToStringMethodBuilder.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/StoreAssistant.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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRConstants.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar(org/apache/commons/lang/BooleanUtils.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/ITotalTransformation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AVoidTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IrNodeInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/printer/MsgPrinter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/NodeAssistantIR.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/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.vdm2java.JavaVarPrefixManager]
[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/javagen/target/classes/org/overture/codegen/vdm2java/JavaVarPrefixManager.class]]
[checking org.overture.codegen.vdm2java.IJavaQouteEventCoordinator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/IJavaQouteEventCoordinator.class]]
[checking org.overture.codegen.vdm2java.IJavaQuoteEventObserver]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/IJavaQuoteEventObserver.class]]
[checking org.overture.codegen.vdm2java.ObjectMethodComparison]
[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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.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/expressions/PExpBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.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[/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/javagen/target/classes/org/overture/codegen/vdm2java/ObjectMethodComparison.class]]
[checking org.overture.codegen.vdm2java.JavaFormat]
[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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/merging/MergeCoordinator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/QuestionAdaptor.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[/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/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/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AInterfaceTypeIR.class)]]
[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/STypeIRBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/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[/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/IAnswer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.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/expressions/AHistoryExpIR.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/TypeCheckerAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SourceNode.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/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/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/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/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/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/AIsolationUnaryExpIR.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/expressions/SUnaryExpIR.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/AQuoteLiteralExpIR.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/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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ABoolLiteralExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SBasicTypeIR.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/types/SBasicTypeBase.class)]]
[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/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)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AUndefinedExpIR.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ACharBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AUnknownTypeIR.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/expressions/SVarExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/DeclAssistantIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ANamedTypeDeclIR.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)]]
[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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/ExpAssistantIR.class)]]
[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/declarations/SClassDeclBase.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/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/PTypeBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Collector.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Function.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFieldField.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/BaseStream.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)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Supplier.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiConsumer.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/invoke/LambdaMetafactory.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/invoke/MethodHandles.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/invoke/MethodHandles$Lookup.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/invoke/MethodType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/invoke/MethodHandle.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/invoke/CallSite.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaFormat.class]]
[checking org.overture.codegen.vdm2java.JavaValueSemantics]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapSeqGetExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleSizeExpIR.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)]]
[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/SIsExpIR.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/AInSetBinaryExpIR.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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaValueSemantics.class]]
[checking org.overture.codegen.vdm2java.JavaFormatAssistant]
[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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SPatternIR.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/SBoolBinaryExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANullExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SCallStmIR.class)]]
[checking org.overture.codegen.vdm2java.JavaClassCreatorBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaFormatAssistant.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/utils/AInfoExternalType.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaClassCreatorBase.class]]
[checking org.overture.codegen.vdm2java.JavaRecordCreator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaRecordCreator.class]]
[checking org.overture.codegen.vdm2java.JavaSettings]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaSettings.class]]
[checking org.overture.codegen.vdm2java.JavaPostCheckCreator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaPostCheckCreator.class]]
[checking org.overture.codegen.vdm2java.VdmAstJavaValidator]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImplicitFunctionDefinition.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/patterns/PBind.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestionAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/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/SSeqExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBindBase.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/expressions/AApplyExp.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/VdmAstJavaValidator.class]]
[checking org.overture.codegen.vdm2java.JavaCodeGen]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRGenerator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitOperationDefinition.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/ACpuClassDefinition.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/ASystemClassDefinition.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/VdmAstAnalysis.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/Violation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/ReservedWordsComparison.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/TypenameComparison.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/GeneratedVarComparison.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMErrorsException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaCodeGen.class]]
[checking org.overture.codegen.vdm2java.JavaTransSeries]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/RenamedTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/FieldOrderTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/AtomicStmTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/CallObjStmTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/AssignStmTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/PrePostTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/PolyFuncTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/iterator/AbstractLanguageIterator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/LetBeStTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/WhileStmTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/Exp2StmTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/PreCheckTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/PostCheckTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/IsExpSimplifyTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/IsExpTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/SeqConvTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/ConstructorTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/SlAccessTrans.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/trans/assistants/BaseTransformationAssistant.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaTransSeries.class]]
[checking org.overture.codegen.vdm2java.RecMethodsTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/RecMethodsTrans.class]]
[checking org.overture.codegen.vdm2java.JavaPrecedence]
[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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaPrecedence.class]]
[checking org.overture.codegen.vdm2java.JavaToStringTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaToStringTrans.class]]
[checking org.overture.codegen.vdm2java.JavaClassCreator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaClassCreator.class]]
[checking org.overture.codegen.vdm2java.IJavaConstants]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/IJavaConstants.class]]
[checking org.overture.codegen.vdm2java.ModuleRenamerTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/ModuleRenamerTrans.class]]
[checking org.overture.codegen.vdm2java.JavaCodeGenUtil]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Matcher.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/MatchResult.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaCodeGenUtil.class]]
[checking org.overture.codegen.vdm2java.JavaTemplateManager]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaTemplateManager.class]]
[checking org.overture.codegen.vdm2java.TemplateCallableManager]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/TemplateCallableManager.class]]
[checking org.overture.codegen.vdm2java.JavaCodeGenMode]
[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/javagen/target/classes/org/overture/codegen/vdm2java/JavaCodeGenMode.class]]
[checking org.overture.codegen.vdm2java.JavaIdentifierNormaliser]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaIdentifierNormaliser.class]]
[checking org.overture.codegen.vdm2java.JavaCallStmToStringBuilder]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaCallStmToStringBuilder.class]]
[checking org.overture.codegen.vdm2java.JavaQuoteValueCreator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaQuoteValueCreator.class]]
[checking org.overture.codegen.vdm2java.ImportsTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/ImportsTrans.class]]
[checking org.overture.codegen.vdm2java.UnsupportedLibWarningTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/UnsupportedLibWarningTrans.class]]
[checking org.overture.codegen.vdm2java.ClassToInterfaceTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/ClassToInterfaceTrans.class]]
[checking org.overture.codegen.vdm2java.JavaValueSemanticsTag]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaValueSemanticsTag.class]]
[checking org.overture.codegen.vdm2java.JavaMainTag]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaMainTag.class]]
[checking org.overture.codegen.vdm2java.JavaCodeGenMain]
[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/net/URI.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/printer/AbstractPrinter.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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.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/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/lex/LexException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaCodeGenMain.class]]
[checking org.overture.codegen.vdm2java.JUnit4Trans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JUnit4Trans.class]]
[total 480ms]
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2047 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 51 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/NameNormalisingOutputTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/SlOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/IsExpJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/UnionTypeOutputTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ConfiguredCloningOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/RtJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/RtOutputTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ClassicJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ConfiguredStringJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ConcurrencyClassicJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/TracesExpansionOutputTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/base/JavaOutputTestBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/SpecificationOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/PrePostOutputTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ConcurrencyJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/SpecificationJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/PrePostJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/TracesSlJavaGenTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/SlJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ExpJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/SystemClassOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ConfiguredCloningJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/PatternJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/TracesStateJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/UnionTypeJavaGenTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ExpOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/PackageJavaGenTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ConcurrencyClassicOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ClassicOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/TracesStateOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/other/ClassesToSkipParsingTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/BindOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/other/UtilsTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/other/UnsupportedJavaCodeGenTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/base/JavaGenTestBase.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/TracesSlOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/ComplexExpJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/PackageOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ConcurrencyOutputTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/other/IRTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ConfiguredStringOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/FunctionValueJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/ComplexExpOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/BindJavaGenTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/TracesVerdictJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/FunctionValueOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/other/VarShadowingTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/TracesVerdictOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/PatternOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/exec/TracesExpansionJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java/org/overture/codegen/tests/output/IsExpOutputTest.java]]
[parsing completed 0ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/test/java,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/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/javagen/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-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/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-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/codegen/ir/target/ir-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/log4j/log4j/1.2.17/log4j-1.2.17.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-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/com/google/googlejavaformat/google-java-format/1.0/google-java-format-1.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/guava/guava/19.0/guava-19.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/beust/jcommander/1.47/jcommander-1.47.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/jdt/org.eclipse.jdt.core/3.10.0/org.eclipse.jdt.core-3.10.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.resources/3.7.100/org.eclipse.core.resources-3.7.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.expressions/3.4.300/org.eclipse.core.expressions-3.4.300.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.runtime/3.7.0/org.eclipse.core.runtime-3.7.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/osgi/org.eclipse.osgi/3.7.1/org.eclipse.osgi-3.7.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.common/3.6.0/org.eclipse.equinox.common-3.6.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.jobs/3.5.100/org.eclipse.core.jobs-3.5.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.registry/3.5.101/org.eclipse.equinox.registry-3.5.101.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.preferences/3.4.1/org.eclipse.equinox.preferences-3.4.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.contenttype/3.4.100/org.eclipse.core.contenttype-3.4.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/equinox/org.eclipse.equinox.app/1.3.100/org.eclipse.equinox.app-1.3.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.filesystem/1.3.100/org.eclipse.core.filesystem-1.3.100.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/text/org.eclipse.text/3.5.101/org.eclipse.text-3.5.101.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/eclipse/core/org.eclipse.core.commands/3.6.0/org.eclipse.core.commands-3.6.0.jar,/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-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/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.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/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar,.]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runner/RunWith.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized$Parameters.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/output/util/OutputTestUtil.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/PathsProvider.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/lex/Dialect.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/CodeGenBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/output/util/OutputTestBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneratedData.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaCodeGen.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaSettings.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/output/util/SpecificationTestBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamStandardTest.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/AbsResultTest.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/testhandlers/ExecutableSpecTestHandler.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/testhandlers/TestHandler.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/IOException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/CheckerTestBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/testhandlers/ExpressionTestHandler.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneralUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/Generated.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaCodeGenUtil.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/syntax/ParserException.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/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/JavaCodeGenTestCase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/TestResourcesResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter$IResultStore.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRSettings.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/testhandlers/TraceHandler.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.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/junit/junit/4.11/junit-4.11.jar(org/junit/BeforeClass.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamFineGrainTest.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/reflect/TypeToken.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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneralCodeGenUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/util/TestUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneratedModule.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StringWriter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/ClonableString.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRConstants.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/declarations/ACatchClauseDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFieldDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AMethodDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AVarDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATypeArgExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AIdentifierPatternIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMetaStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AReturnStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASkipStmIR.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/types/ABoolBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AClassTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AExternalTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AMethodTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARealNumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AVoidTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/merging/MergeVisitor.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes/org/overture/codegen/vdm2java/JavaFormat.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIdentifierStateDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/IdStateDesignatorDefCollector.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/Renaming.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/VarRenamer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/util/InterpreterUtil.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/Value.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/TypeCheckerAssistantFactory.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/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/Class.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]]
[checking org.overture.codegen.tests.output.NameNormalisingOutputTest]
[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/Error.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.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/javagen/target/classes/org/overture/codegen/vdm2java/IJavaQouteEventCoordinator.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IREventCoordinator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.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[/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)]]
[checking org.overture.codegen.tests.output.base.JavaOutputTestBase]
[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/javagen/target/test-classes/org/overture/codegen/tests/output/NameNormalisingOutputTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/base/JavaOutputTestBase.class]]
[checking org.overture.codegen.tests.output.SlOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/SlOutputTest.class]]
[checking org.overture.codegen.tests.exec.IsExpJavaGenTest]
[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/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/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/testhandlers/ExecutableTestHandler.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar(org/overture/codegen/tests/exec/util/testhandlers/EntryBasedTestHandler.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[checking org.overture.codegen.tests.exec.base.JavaGenTestBase]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Result.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IResultCombiner.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/IsExpJavaGenTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/base/JavaGenTestBase.class]]
[checking org.overture.codegen.tests.output.UnionTypeOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/UnionTypeOutputTest.class]]
[checking org.overture.codegen.tests.output.ConfiguredCloningOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ConfiguredCloningOutputTest.class]]
[checking org.overture.codegen.tests.exec.RtJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/RtJavaGenTest.class]]
[checking org.overture.codegen.tests.output.RtOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/RtOutputTest.class]]
[checking org.overture.codegen.tests.exec.ClassicJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ClassicJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ConfiguredStringJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ConcurrencyClassicJavaGenTest.class]]
[checking org.overture.codegen.tests.output.TracesExpansionOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/TracesExpansionOutputTest.class]]
[checking org.overture.codegen.tests.output.SpecificationOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/SpecificationOutputTest.class]]
[checking org.overture.codegen.tests.output.PrePostOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/PrePostOutputTest.class]]
[checking org.overture.codegen.tests.exec.ConcurrencyJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ConcurrencyJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.SpecificationJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/SpecificationJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.PrePostJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/PrePostJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.TracesSlJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/TracesSlJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.SlJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/SlJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.ExpJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ExpJavaGenTest.class]]
[checking org.overture.codegen.tests.output.SystemClassOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/SystemClassOutputTest.class]]
[checking org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ConfiguredCloningJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.PatternJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/PatternJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.TracesStateJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/TracesStateJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.UnionTypeJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/UnionTypeJavaGenTest.class]]
[checking org.overture.codegen.tests.output.ExpOutputTest]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ExpOutputTest$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ExpOutputTest.class]]
[checking org.overture.codegen.tests.exec.PackageJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/PackageJavaGenTest.class]]
[checking org.overture.codegen.tests.output.ConcurrencyClassicOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ConcurrencyClassicOutputTest.class]]
[checking org.overture.codegen.tests.output.ClassicOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ClassicOutputTest.class]]
[checking org.overture.codegen.tests.output.TracesStateOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/TracesStateOutputTest.class]]
[checking org.overture.codegen.tests.other.ClassesToSkipParsingTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/other/ClassesToSkipParsingTest.class]]
[checking org.overture.codegen.tests.output.BindOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/BindOutputTest.class]]
[checking org.overture.codegen.tests.other.UtilsTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/other/UtilsTest.class]]
[checking org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest]
[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/javagen/target/test-classes/org/overture/codegen/tests/other/UnsupportedJavaCodeGenTest.class]]
[checking org.overture.codegen.tests.output.TracesSlOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/TracesSlOutputTest.class]]
[checking org.overture.codegen.tests.exec.ComplexExpJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/ComplexExpJavaGenTest.class]]
[checking org.overture.codegen.tests.output.PackageOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/PackageOutputTest.class]]
[checking org.overture.codegen.tests.output.ConcurrencyOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ConcurrencyOutputTest.class]]
[checking org.overture.codegen.tests.other.IRTest]
[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/SDeclIR.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/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[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/ExpAssistantIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/AssistantBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ABoolLiteralExpIR.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/SExpIRBase.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[/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/STypeIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STypeIR.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/SStmIR.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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SPatternIRBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SPatternIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AUndefinedExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/DeclAssistantIR.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/merging/MergeCoordinator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/QuestionAdaptor.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/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/IAnswer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntLiteralExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/other/IRTest.class]]
[checking org.overture.codegen.tests.output.ConfiguredStringOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ConfiguredStringOutputTest.class]]
[checking org.overture.codegen.tests.exec.FunctionValueJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/FunctionValueJavaGenTest.class]]
[checking org.overture.codegen.tests.output.ComplexExpOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/ComplexExpOutputTest.class]]
[checking org.overture.codegen.tests.exec.BindJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/BindJavaGenTest.class]]
[checking org.overture.codegen.tests.exec.TracesVerdictJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/TracesVerdictJavaGenTest.class]]
[checking org.overture.codegen.tests.output.FunctionValueOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/FunctionValueOutputTest.class]]
[checking org.overture.codegen.tests.other.VarShadowingTest]
[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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/vdm/VdmAnalysis.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnalysis.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Formattable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMMessage.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/UnsupportedEncodingException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/other/VarShadowingTest.class]]
[checking org.overture.codegen.tests.output.TracesVerdictOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/TracesVerdictOutputTest.class]]
[checking org.overture.codegen.tests.output.PatternOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/PatternOutputTest.class]]
[checking org.overture.codegen.tests.exec.TracesExpansionJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/exec/TracesExpansionJavaGenTest.class]]
[checking org.overture.codegen.tests.output.IsExpOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/test-classes/org/overture/codegen/tests/output/IsExpOutputTest.class]]
[total 200ms]
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.codegen.tests.other.IRTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.433 sec - in org.overture.codegen.tests.other.IRTest
Running org.overture.codegen.tests.other.ClassesToSkipParsingTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.overture.codegen.tests.other.ClassesToSkipParsingTest
Running org.overture.codegen.tests.other.UtilsTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in org.overture.codegen.tests.other.UtilsTest
Running org.overture.codegen.tests.other.VarShadowingTest
Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.988 sec - in org.overture.codegen.tests.other.VarShadowingTest
Running org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.325 sec - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Running org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Tests run: 28, Failures: 0, Errors: 0, Skipped: 28, Time elapsed: 0.03 sec - in org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Running org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Tests run: 170, Failures: 0, Errors: 0, Skipped: 170, Time elapsed: 0.109 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Running org.overture.codegen.tests.exec.ClassicJavaGenTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.ClassicJavaGenTest
Running org.overture.codegen.tests.exec.SpecificationJavaGenTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 81, Time elapsed: 0.027 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest
Running org.overture.codegen.tests.exec.PackageJavaGenTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest
Running org.overture.codegen.tests.exec.PatternJavaGenTest
Tests run: 67, Failures: 0, Errors: 0, Skipped: 67, Time elapsed: 0.03 sec - in org.overture.codegen.tests.exec.PatternJavaGenTest
Running org.overture.codegen.tests.exec.BindJavaGenTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 11, Time elapsed: 0.001 sec - in org.overture.codegen.tests.exec.BindJavaGenTest
Running org.overture.codegen.tests.exec.PrePostJavaGenTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.PrePostJavaGenTest
Running org.overture.codegen.tests.exec.ExpJavaGenTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 126, Time elapsed: 0.044 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest
Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Tests run: 48, Failures: 0, Errors: 0, Skipped: 48, Time elapsed: 0.021 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 0.015 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Running org.overture.codegen.tests.exec.TracesStateJavaGenTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 8, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest
Running org.overture.codegen.tests.exec.IsExpJavaGenTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 21, Time elapsed: 0.017 sec - in org.overture.codegen.tests.exec.IsExpJavaGenTest
Running org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Running org.overture.codegen.tests.exec.RtJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.codegen.tests.exec.RtJavaGenTest
Running org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 22, Time elapsed: 0.008 sec - in org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Running org.overture.codegen.tests.exec.SlJavaGenTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 20, Time elapsed: 0.007 sec - in org.overture.codegen.tests.exec.SlJavaGenTest
Running org.overture.codegen.tests.exec.TracesSlJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.003 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 18, Time elapsed: 0.006 sec - in org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Running org.overture.codegen.tests.output.IsExpOutputTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.455 sec - in org.overture.codegen.tests.output.IsExpOutputTest
Running org.overture.codegen.tests.output.TracesStateOutputTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.312 sec - in org.overture.codegen.tests.output.TracesStateOutputTest
Running org.overture.codegen.tests.output.BindOutputTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.425 sec - in org.overture.codegen.tests.output.BindOutputTest
Running org.overture.codegen.tests.output.ClassicOutputTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.846 sec - in org.overture.codegen.tests.output.ClassicOutputTest
Running org.overture.codegen.tests.output.RtOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.104 sec - in org.overture.codegen.tests.output.RtOutputTest
Running org.overture.codegen.tests.output.TracesVerdictOutputTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.2 sec - in org.overture.codegen.tests.output.TracesVerdictOutputTest
Running org.overture.codegen.tests.output.PatternOutputTest
Tests run: 67, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.04 sec - in org.overture.codegen.tests.output.PatternOutputTest
Running org.overture.codegen.tests.output.TracesSlOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.327 sec - in org.overture.codegen.tests.output.TracesSlOutputTest
Running org.overture.codegen.tests.output.ConfiguredStringOutputTest
Tests run: 28, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.347 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest
Running org.overture.codegen.tests.output.ComplexExpOutputTest
Tests run: 170, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.238 sec - in org.overture.codegen.tests.output.ComplexExpOutputTest
Running org.overture.codegen.tests.output.NameNormalisingOutputTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.088 sec - in org.overture.codegen.tests.output.NameNormalisingOutputTest
Running org.overture.codegen.tests.output.ConcurrencyClassicOutputTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.911 sec - in org.overture.codegen.tests.output.ConcurrencyClassicOutputTest
Running org.overture.codegen.tests.output.SystemClassOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.098 sec - in org.overture.codegen.tests.output.SystemClassOutputTest
Running org.overture.codegen.tests.output.FunctionValueOutputTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.276 sec - in org.overture.codegen.tests.output.FunctionValueOutputTest
Running org.overture.codegen.tests.output.ExpOutputTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.119 sec - in org.overture.codegen.tests.output.ExpOutputTest
Running org.overture.codegen.tests.output.SlOutputTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.275 sec - in org.overture.codegen.tests.output.SlOutputTest
Running org.overture.codegen.tests.output.PrePostOutputTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.138 sec - in org.overture.codegen.tests.output.PrePostOutputTest
Running org.overture.codegen.tests.output.PackageOutputTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.056 sec - in org.overture.codegen.tests.output.PackageOutputTest
Running org.overture.codegen.tests.output.SpecificationOutputTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.29 sec - in org.overture.codegen.tests.output.SpecificationOutputTest
Running org.overture.codegen.tests.output.UnionTypeOutputTest
Tests run: 48, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.609 sec - in org.overture.codegen.tests.output.UnionTypeOutputTest
Running org.overture.codegen.tests.output.ConfiguredCloningOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.379 sec - in org.overture.codegen.tests.output.ConfiguredCloningOutputTest
Running org.overture.codegen.tests.output.TracesExpansionOutputTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.354 sec - in org.overture.codegen.tests.output.TracesExpansionOutputTest
Running org.overture.codegen.tests.output.ConcurrencyOutputTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.478 sec - in org.overture.codegen.tests.output.ConcurrencyOutputTest

Results :

Tests run: 1456, Failures: 0, Errors: 0, Skipped: 679

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen ---
[INFO] Analyzed bundle 'The Java Code Generator' with 32 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT-javadoc.jar