SuccessConsole Output

Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to JML Generator 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 229 files to scan for tasks
Found 6 open tasks.
[TASKS] Computing warning deltas based on reference build #196
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-test/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 24 resources
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 37 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/RecInvTransformation.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/RecModUtil.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/RecModHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlSettings.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/TypePredHandler.java]]
[parsing completed 2ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/RecursiveLeaf.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenMain.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/NamedTypeInvDepCalculator.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/JmlUnionTypeTrans.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/RecAccessorTrans.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/TypePredDecorator.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/UnionInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/UnknownLeaf.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/TupleInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/AbstractTypeInfo.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenerator.java]]
[parsing completed 3ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/LeafTypeInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/MapInfo.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/util/JmlAnnotationComparator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/NamedTypeInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/data/RecClassInfo.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/data/StateDesInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/JmlTraceStmBuilder.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlAnnotationHelper.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/AbstractCollectionInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/util/IsValChecker.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/AtomicAssertTrans.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenUtil.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/TypePredUtil.java]]
[parsing completed 2ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/TcExpInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/util/AnnotationSorter.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/TargetNormaliserTrans.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/SeqInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/SetInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/predgen/info/AbstractSetSeqInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/util/NameGen.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/trans/JmlTraceTrans.java]]
[parsing completed 1ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java,/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/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/vdm2jml/target/classes,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/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/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/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-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/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.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/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,.]
[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/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/AVariableExp.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/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/SourceNode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ADefaultClassDeclIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/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/AFormalParamLocalParamIR.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/ARecordDeclIR.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/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/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/AMethodTypeIR.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/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaCodeGen.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaCodeGenUtil.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[/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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIR.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/SVarExpIR.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/AMetaStmIR.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[/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/LinkedList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/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/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/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/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/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/AReturnStmIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/TraceMethodTag.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/statements/AAtomicStmIR.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/IRGeneratedTag.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[/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/Map.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar(org/overture/codegen/runtime/traces/Pair.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIR.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/modules/AModuleModules.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/IRConstants.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IREventObserver.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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRStatus.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/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/declarations/AModuleDeclIR.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/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/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/types/AUnknownTypeIR.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/AssignStmTrans.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/trans/uniontypes/UnionTypeVarPrefixes.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/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/IJavaQuoteEventObserver.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaSettings.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/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/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/AMapMapTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ASeqSeqTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ASetSetTypeIR.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/SPatternIR.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[/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/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaFormat.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.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/AIntNumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANat1NumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANatNumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AQuoteTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARatNumericBasicTypeIR.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/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/ATokenBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar(org/overture/codegen/runtime/Utils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaQuoteValueCreator.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/assistant/AssistantBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/printer/MsgPrinter.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/GeneralUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaCodeGenMain.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/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/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/types/ABracketType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AInMapMapType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ANamedInvariantType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOptionalType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AProductType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASeq1SeqType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnionType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnknownType.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/types/SMapTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetType.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/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/AMapSeqGetExpIR.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/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaValueSemantics.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2jml/runtime/V2J.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/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/ACallStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFunctionType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOperationType.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/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/statements/ATryStmIR.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/TraceStmBuilder.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnswerAdaptor.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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEnumMapExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEnumSeqExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEnumSetExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapletExpIR.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/AMkBasicExpIR.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/ANullExpIR.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/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/SNumericBinaryExpIR.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/DeclAssistantIR.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/PatternAssistantIR.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/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/TraceNames.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/iterator/ILanguageIterator.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.vdm2jml.trans.RecInvTransformation]
[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/Exception.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/Void.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/Category.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/spi/AppenderAttachable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/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/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/SPatternIRBase.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/javagen/target/javagen-2.6.5-SNAPSHOT.jar(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[/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/SExpIRBase.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)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/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/PExp.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[/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/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/RecInvTransformation.class]]
[checking org.overture.codegen.vdm2jml.predgen.RecModUtil]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/StmAssistantIR.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/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/SUnaryExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/RecModUtil.class]]
[checking org.overture.codegen.vdm2jml.predgen.RecModHandler]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/RecModHandler.class]]
[checking org.overture.codegen.vdm2jml.predgen.TypePredDecorator]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestionAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestion.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Locale.class)]]
[checking org.overture.codegen.vdm2jml.predgen.AtomicAssertTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/TypePredDecorator.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/AtomicAssertTrans.class]]
[checking org.overture.codegen.vdm2jml.predgen.TypePredHandler]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/TypePredHandler.class]]
[checking org.overture.codegen.vdm2jml.data.StateDesInfo]
[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/vdm2jml/target/classes/org/overture/codegen/vdm2jml/data/StateDesInfo.class]]
[checking org.overture.codegen.vdm2jml.data.RecClassInfo]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/data/RecClassInfo.class]]
[checking org.overture.codegen.vdm2jml.JmlGenerator]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaTransSeries.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaVarPrefixManager.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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRGenerator.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/modules/PModules.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/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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlGenerator.class]]
[checking org.overture.codegen.vdm2jml.predgen.TypePredUtil]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSeqTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/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/SSetTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSetTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SMapTypeBase.class)]]
[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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/TypePredUtil.class]]
[checking org.overture.codegen.vdm2jml.JmlAnnotationHelper]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/assistant/NodeAssistantIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlAnnotationHelper.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.AbstractTypeInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/AbstractTypeInfo.class]]
[checking org.overture.codegen.vdm2jml.JmlSettings]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlSettings.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.NamedTypeInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/NamedTypeInfo.class]]
[checking org.overture.codegen.vdm2jml.JmlGenUtil]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaRecordCreator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaClassCreatorBase.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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlGenUtil.class]]
[checking org.overture.codegen.vdm2jml.trans.TcExpInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/TcExpInfo.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.LeafTypeInfo]
[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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/LeafTypeInfo.class]]
[checking org.overture.codegen.vdm2jml.util.NameGen]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/util/NameGen.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.RecursiveLeaf]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/RecursiveLeaf.class]]
[checking org.overture.codegen.vdm2jml.JmlGenMain]
[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[/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/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlGenMain.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.NamedTypeInvDepCalculator]
[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/SInvariantType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitFunctionDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/visitor/IRVisitor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAnswerAdaptor.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/NamedTypeInvDepCalculator.class]]
[checking org.overture.codegen.vdm2jml.trans.JmlUnionTypeTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/JmlUnionTypeTrans.class]]
[checking org.overture.codegen.vdm2jml.trans.RecAccessorTrans]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaFormatAssistant.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/RecAccessorTrans.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.UnionInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/UnionInfo.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.UnknownLeaf]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/UnknownLeaf.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.TupleInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/TupleInfo.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.MapInfo]
[checking org.overture.codegen.vdm2jml.predgen.info.AbstractCollectionInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/MapInfo.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/AbstractCollectionInfo.class]]
[checking org.overture.codegen.vdm2jml.util.JmlAnnotationComparator]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Function.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToDoubleFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToLongFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToIntFunction.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/util/JmlAnnotationComparator.class]]
[checking org.overture.codegen.vdm2jml.trans.JmlTraceStmBuilder]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/traces/TraceNodeData.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)]]
[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/statements/PStm.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/JmlTraceStmBuilder.class]]
[checking org.overture.codegen.vdm2jml.util.IsValChecker]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SMapExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SMapExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSeqExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSeqExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSetExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSetExpIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBinaryExpIR.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/util/IsValChecker.class]]
[checking org.overture.codegen.vdm2jml.util.AnnotationSorter]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/util/AnnotationSorter.class]]
[checking org.overture.codegen.vdm2jml.trans.TargetNormaliserTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/TargetNormaliserTrans.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.SeqInfo]
[checking org.overture.codegen.vdm2jml.predgen.info.AbstractSetSeqInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/SeqInfo.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/AbstractSetSeqInfo.class]]
[checking org.overture.codegen.vdm2jml.predgen.info.SetInfo]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/SetInfo.class]]
[checking org.overture.codegen.vdm2jml.trans.JmlTraceTrans]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/trans/JmlTraceTrans.class]]
[total 341ms]
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 383 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 46 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/PurityTests.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/util/TestDataCollector.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlOutputTests.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/RecInvTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlPassTypeCheckTests.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlReuseSlTraceOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlComposedPatternExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/LeafTypeCallTests.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlSlTraceOutputTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlAtomicExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/StateTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlSimplePatternExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlGenTestBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlSelectorExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/PostCondNoStateTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlSlTraceJavaGenTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/TypeDependencyTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/PostCondWithStateTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlInvariantForExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlTraceTestHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/util/TestUtil.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlSlOutputTestBase.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/PreCondWithStateTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlPrePostExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlRecInvExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/util/IOpenJmlConsts.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlComprehensionExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/NameGenTests.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlSetTypeExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlNamedTypeInvExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlOptionalTypeExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlComplexStateDesExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlSeqTypeExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/V2JCallTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlExecTestBase.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlSlJavaGenTestBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/PreCondNoStateTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlReuseSlTraceJavaGenTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlQuantifierExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlBasicTypeExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/OpenJmlValidationBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlMapTypeExecTests.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlUnionTypeExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/AnnotationTestsBase.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/exec/JmlTupleTypeExecTests.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/util/Update.java]]
[parsing completed 0ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/test/java,/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/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/vdm2jml/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/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/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/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-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/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.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/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/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/util/List.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/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/BeforeClass.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Test.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.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/declarations/AMethodDeclIR.class)]]
[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/LinkedList.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/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/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/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRSettings.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/declarations/ADefaultClassDeclIR.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/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[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaFormat.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaSettings.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlGenerator.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/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[/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/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/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/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/AMetaStmIR.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/AVoidTypeIR.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/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar(org/apache/commons/io/FileUtils.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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneralUtils.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/JmlGenMain.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/Properties.class)]]
[loading ZipFileIndexFileObject[/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/Collection.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assume.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/ProcessResult.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/JavaToolsUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaCodeGenUtil.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStreamReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InterruptedException.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[/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/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/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/JavaCodeGen.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/io/FileNotFoundException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStreamWriter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintWriter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/UnsupportedEncodingException.class)]]
[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/Pattern.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/IJavaConstants.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/reflect/Method.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/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/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/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/AIntNumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANat1NumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANatNumericBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AQuoteTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARatNumericBasicTypeIR.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/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/ATokenBasicTypeIR.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar(org/overture/codegen/runtime/Utils.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/LeafTypeInfo.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/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/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/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/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/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 RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/NamedTypeInfo.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/NamedTypeInvDepCalculator.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/ExecutionResult.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[/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[/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[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/util/NameGen.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/AbstractSetSeqInfo.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/MapInfo.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/SeqInfo.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/SetInfo.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/TupleInfo.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2jml/runtime/V2J.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/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]]
[checking org.overture.vdm2jml.tests.PurityTests]
[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/CharSequence.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/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 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[/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[/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/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/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/SDeclIR.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/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[/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/IREventObserver.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar(org/overture/codegen/vdm2java/IJavaQuoteEventObserver.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/Generated.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/definitions/PDefinition.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]]
[checking org.overture.vdm2jml.tests.AnnotationTestsBase]
[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/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/PurityTests.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/AnnotationTestsBase.class]]
[checking org.overture.vdm2jml.tests.util.TestDataCollector]
[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[/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/STypeIRBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/util/TestDataCollector.class]]
[checking org.overture.vdm2jml.tests.JmlOutputTests]
[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/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMError.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Function.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToDoubleFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToLongFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToIntFunction.class)]]
[checking org.overture.vdm2jml.tests.JmlGenTestBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlOutputTests$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlOutputTests.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlGenTestBase.class]]
[checking org.overture.vdm2jml.tests.RecInvTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/RecInvTests.class]]
[checking org.overture.vdm2jml.tests.JmlPassTypeCheckTests]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Process.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ProcessBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Locale.class)]]
[checking org.overture.vdm2jml.tests.OpenJmlValidationBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlPassTypeCheckTests.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/OpenJmlValidationBase.class]]
[checking org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest]
[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/target/javagen-2.6.5-SNAPSHOT.jar(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)]]
[checking org.overture.vdm2jml.tests.JmlSlOutputTestBase]
[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/lex/LexException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlReuseSlTraceOutputTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlSlOutputTestBase.class]]
[checking org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetEncoder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/Charset.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.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/util/regex/MatchResult.class)]]
[checking org.overture.vdm2jml.tests.exec.JmlExecTestBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlComposedPatternExecTests.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlExecTestBase.class]]
[checking org.overture.vdm2jml.tests.LeafTypeCallTests]
[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/types/SNumericBasicBase.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/AbstractTypeInfo.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/LeafTypeCallTests.class]]
[checking org.overture.vdm2jml.tests.JmlSlTraceOutputTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/JmlSlTraceOutputTest.class]]
[checking org.overture.vdm2jml.tests.exec.JmlAtomicExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlAtomicExecTests.class]]
[checking org.overture.vdm2jml.tests.StateTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/StateTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlSimplePatternExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlSelectorExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlSelectorExecTests.class]]
[checking org.overture.vdm2jml.tests.PostCondNoStateTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/PostCondNoStateTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest]
[checking org.overture.vdm2jml.tests.exec.JmlSlJavaGenTestBase]
[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/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlSlTraceJavaGenTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlSlJavaGenTestBase.class]]
[checking org.overture.vdm2jml.tests.TypeDependencyTests]
[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/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/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[/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/node/Node.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/TypeDependencyTests.class]]
[checking org.overture.vdm2jml.tests.PostCondWithStateTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/PostCondWithStateTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlInvariantForExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlTraceTestHandler]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlTraceTestHandler.class]]
[checking org.overture.vdm2jml.tests.util.TestUtil]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/util/TestUtil.class]]
[checking org.overture.vdm2jml.tests.PreCondWithStateTests]
[checking org.overture.vdm2jml.tests.PreCondNoStateTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/PreCondWithStateTests.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/PreCondNoStateTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlPrePostExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlPrePostExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlRecInvExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlRecInvExecTests.class]]
[checking org.overture.vdm2jml.tests.util.IOpenJmlConsts]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/util/IOpenJmlConsts.class]]
[checking org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlComprehensionExecTests.class]]
[checking org.overture.vdm2jml.tests.NameGenTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/NameGenTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlSetTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlNamedTypeInvExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlOptionalTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlComplexStateDesExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlSeqTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.V2JCallTests]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes/org/overture/codegen/vdm2jml/predgen/info/AbstractCollectionInfo.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/V2JCallTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlReuseSlTraceJavaGenTest.class]]
[checking org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlQuantifierExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlBasicTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlMapTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlUnionTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/exec/JmlTupleTypeExecTests.class]]
[checking org.overture.vdm2jml.tests.util.Update]
[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/vdm2jml/target/test-classes/org/overture/vdm2jml/tests/util/Update.class]]
[total 181ms]
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.vdm2jml.tests.RecInvTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.815 sec - in org.overture.vdm2jml.tests.RecInvTests
Running org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.024 sec - in org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Running org.overture.vdm2jml.tests.PreCondNoStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.172 sec - in org.overture.vdm2jml.tests.PreCondNoStateTests
Running org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.008 sec - in org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Running org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Running org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Running org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.024 sec - in org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Tests run: 9, Failures: 0, Errors: 0, Skipped: 9, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Running org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.003 sec - in org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Running org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Running org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.001 sec - in org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Running org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Running org.overture.vdm2jml.tests.TypeDependencyTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.029 sec - in org.overture.vdm2jml.tests.TypeDependencyTests
Running org.overture.vdm2jml.tests.JmlOutputTests
Tests run: 85, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.546 sec - in org.overture.vdm2jml.tests.JmlOutputTests
Running org.overture.vdm2jml.tests.StateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.014 sec - in org.overture.vdm2jml.tests.StateTests
Running org.overture.vdm2jml.tests.V2JCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.vdm2jml.tests.V2JCallTests
Running org.overture.vdm2jml.tests.LeafTypeCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.vdm2jml.tests.LeafTypeCallTests
Running org.overture.vdm2jml.tests.PurityTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec - in org.overture.vdm2jml.tests.PurityTests
Running org.overture.vdm2jml.tests.PostCondWithStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.031 sec - in org.overture.vdm2jml.tests.PostCondWithStateTests
Running org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.123 sec - in org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Running org.overture.vdm2jml.tests.NameGenTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 sec - in org.overture.vdm2jml.tests.NameGenTests
Running org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.312 sec - in org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Running org.overture.vdm2jml.tests.PreCondWithStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec - in org.overture.vdm2jml.tests.PreCondWithStateTests
Running org.overture.vdm2jml.tests.PostCondNoStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.PostCondNoStateTests

Results :

Tests run: 278, Failures: 0, Errors: 0, Skipped: 110

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/vdm2jml-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml ---
[INFO] Analyzed bundle 'The VDM to JML Generator' with 37 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml ---
[INFO] 
2 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenUtil.java:215: warning: no @return
[WARNING] public List<IRStatus<PIR>> makeRecsOuterClasses(List<IRStatus<PIR>> ast,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java/org/overture/codegen/vdm2jml/JmlGenUtil.java:411: warning: no description for @param
[WARNING] * @param newAst
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/vdm2jml-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:copy (copy) @ vdm2jml ---
[INFO] Configured Artifact: org.overturetool.core.codegen:codegen-runtime:2.6.5-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core.codegen:vdm2jml-runtime:2.6.5-SNAPSHOT:jar
[INFO] Copying codegen-runtime-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/jml/lib/codegen-runtime.jar
[INFO] Copying vdm2jml-runtime-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/jml/lib/vdm2jml-runtime.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/vdm2jml-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/vdm2jml-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT-javadoc.jar