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 Java Code Generator Testing 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen-test ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 19 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #198
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen-test ---
[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/javagen-test/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:resources (default-resources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/JavaCodeGenTestCase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/output/util/OutputTestBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/ExecutionResult.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/JavaExecution.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/JavaCommandLineCompiler.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/util/TestUtils.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/testhandlers/EntryBasedTestHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/CheckerTestBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/ComparisonIR.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/testhandlers/TestHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/util/JavaToolsUtils.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/output/util/OutputTestUtil.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/testhandlers/ExecutableTestHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/FileComparator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/testhandlers/ExpressionTestHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/testhandlers/ExecutableSpecTestHandler.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/testhandlers/TraceHandler.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/output/util/SpecificationTestBase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java/org/overture/codegen/tests/exec/util/ProcessResult.java]]
[parsing completed 0ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/generated-sources/annotations]
[search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar,/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/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,.]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ByteArrayInputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ByteArrayOutputStream.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/io/IOException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectInputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectOutputStream.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/Serializable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/Value.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/Properties.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/TestResourcesResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/util/Base64.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/DOMException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Document.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Element.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Node.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter$IResultStore.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.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/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/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/GeneralCodeGenUtils.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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/analysis/violations/InvalidNamesResult.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/IRSettings.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/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamStandardTest.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ParserException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/reflect/TypeToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/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/BufferedReader.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/InputStreamReader.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/Vector.class)]]
[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/InterruptedException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.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/io/FileInputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URL.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URLClassLoader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Random.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/input/ClassLoaderObjectInputStream.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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedWriter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStreamWriter.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/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Rule.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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/ContextException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ConditionalIgnoreMethodRule.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IMessage.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Result.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/reflect/Field.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.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/Record.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/Token.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/Tuple.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/VDMMap.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/VDMSeq.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/VDMSet.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/utils/TraceTest.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/traces/Verdict.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/BooleanValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/CharacterValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/FieldMap.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/FieldValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/InvariantValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/MapValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/NameValuePairMap.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/NilValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/NumericValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/ObjectValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/QuoteValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/RecordValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/SeqValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/SetValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/TokenValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/TupleValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/UpdatableValue.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/util/Comparator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/util/InterpreterUtil.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/ServerSocket.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/ParserConfigurationException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathExpressionException.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/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/Logger.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/InMemoryTestAccumulator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/TraceRunnerMain.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/utils/CtHelper.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/utils/Data.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/utils/TraceReductionInfo.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/utils/TraceResult.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/utils/TraceResultReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXException.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/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)]]
[checking org.overture.codegen.tests.exec.util.JavaCodeGenTestCase]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IResultCombiner.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectInput.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/DataInput.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectStreamConstants.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectOutput.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/DataOutput.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.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/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/Comparable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Formattable.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/RuntimeException.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/org/w3c/dom/NodeList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/NamedNodeMap.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.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/ClassNotFoundException.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/javagen-test/target/classes/org/overture/codegen/tests/exec/util/JavaCodeGenTestCase.class]]
[checking org.overture.codegen.tests.output.util.OutputTestBase]
[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/platform/target/platform-2.6.5-SNAPSHOT.jar(org/overture/codegen/utils/Generated.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/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]]
[checking org.overture.codegen.tests.output.util.SpecificationTestBase]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/output/util/OutputTestBase.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/output/util/SpecificationTestBase$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/output/util/SpecificationTestBase.class]]
[checking org.overture.codegen.tests.exec.util.ExecutionResult]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/ExecutionResult.class]]
[checking org.overture.codegen.tests.exec.util.JavaExecution]
[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/lang/Thread.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/sun/misc/Contended.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Runnable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/JavaExecution$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/JavaExecution.class]]
[checking org.overture.codegen.tests.exec.util.JavaCommandLineCompiler]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Runtime.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/JavaCommandLineCompiler.class]]
[checking org.overture.codegen.tests.exec.util.ProcessResult]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/ProcessResult.class]]
[checking org.overture.codegen.tests.util.TestUtils]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/util/TestUtils.class]]
[checking org.overture.codegen.tests.exec.util.testhandlers.EntryBasedTestHandler]
[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/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/util/Locale.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/EvaluatePP.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/security/ProtectionDomain.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/security/CodeSource.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileDescriptor.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ClassLoader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/security/SecureClassLoader.class)]]
[checking org.overture.codegen.tests.exec.util.testhandlers.ExecutableTestHandler]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/MalformedURLException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StreamCorruptedException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectStreamException.class)]]
[checking org.overture.codegen.tests.exec.util.testhandlers.TestHandler]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/UnsupportedEncodingException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/testhandlers/EntryBasedTestHandler.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/testhandlers/ExecutableTestHandler.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/testhandlers/TestHandler.class]]
[checking org.overture.codegen.tests.exec.util.CheckerTestBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/CheckerTestBase.class]]
[checking org.overture.codegen.tests.exec.util.ComparisonIR]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.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/TraceTest.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/Verdict.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/ReferenceValue.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARecordInvariantType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/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/PType.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/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/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar(org/overture/codegen/runtime/ValueType.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/util/RandomAccess.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Member.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AccessibleObject.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/LexNameTokenMap.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/NoSuchFieldException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/ValueList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashSet.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/AbstractSet.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/ValueSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashMap.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/AbstractMap.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/values/ValueMap.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/ComparisonIR.class]]
[checking org.overture.codegen.tests.util.JavaToolsUtils]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/util/JavaToolsUtils.class]]
[checking org.overture.codegen.tests.output.util.OutputTestUtil]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/output/util/OutputTestUtil.class]]
[checking org.overture.codegen.tests.exec.util.FileComparator]
[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/javagen-test/target/classes/org/overture/codegen/tests/exec/util/FileComparator.class]]
[checking org.overture.codegen.tests.exec.util.testhandlers.ExpressionTestHandler]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/testhandlers/ExpressionTestHandler.class]]
[checking org.overture.codegen.tests.exec.util.testhandlers.ExecutableSpecTestHandler]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/testhandlers/ExecutableSpecTestHandler.class]]
[checking org.overture.codegen.tests.exec.util.testhandlers.TraceHandler]
[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/net/SocketImpl.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/TestAccumulator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/traces/TraceReductionType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar(org/overture/ct/ctruntime/IProgressMonitor.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes/org/overture/codegen/tests/exec/util/testhandlers/TraceHandler.class]]
[total 195ms]
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen-test ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen-test ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen-test ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT-javadoc.jar