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 Combinatorial Testing Runtime 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctruntime ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 25 files to scan for tasks
Found 2 open tasks.
[TASKS] Computing warning deltas based on reference build #196
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctruntime ---
[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/combinatorialtesting/ctruntime/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) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/Data.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/TraceReductionInfo.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/xml/XMLOpenTagNode.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/TraceResult.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/xml/XMLTextNode.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/TraceResultReader.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/ReductionTestData.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/xml/XMLParser.java]]
[parsing completed 2ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/xml/XMLNode.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceRunnerMain.java]]
[parsing completed 3ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/NamedNodeMapIterator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/xml/XMLTagNode.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/IProgressMonitor.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/CtHelper.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/common/Utils.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/NodeIterator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/server/xml/XMLDataNode.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/utils/TraceTest.java]]
[parsing completed 1ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/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/combinatorialtesting/ctruntime/target/classes,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-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/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/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,.]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/traces/TraceReductionType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Properties.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/io/Serializable.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[/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/io/File.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/io/IOException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilderFactory.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/XPath.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathConstants.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathExpression.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathExpressionException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT.jar(org/overture/ct/utils/TraceXmlWrapper.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/Node.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/xml/sax/SAXException.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/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/InputStream.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/PrintWriter.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/java/lang/Thread$UncaughtExceptionHandler.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/InetAddress.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/Socket.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/net/URISyntaxException.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/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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/VDMJ.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/VDMPP.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/VDMRT.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/VDMSL.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/messages/Console.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/messages/rtlog/RTLogger.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/messages/rtlog/RTTextLogger.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/messages/rtlog/nextgen/NextGenRTLogger.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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/Interpreter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/SourceFile.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/ValueException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/util/ExitStatus.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/config/Properties.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexTokenReader.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeChecker.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/TypeCheckerAssistantFactory.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/java/lang/Exception.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/lang/Iterable.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/net/ServerSocket.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ANamedTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/modules/CombinedDefaultModule.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/ClassInterpreter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/Context.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/runtime/ModuleInterpreter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/traces/CallSequence.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/traces/TestSequence.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/Environment.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ModuleEnvironment.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/PrivateClassEnvironment.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/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/sun/misc/Contended.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.ct.ctruntime.utils.Data]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/Data.class]]
[checking org.overture.ct.ctruntime.utils.TraceReductionInfo]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.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/CharSequence.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/util/Locale.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/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceReductionInfo.class]]
[checking org.overture.ct.ctruntime.server.xml.XMLOpenTagNode]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Hashtable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Dictionary.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[checking org.overture.ct.ctruntime.server.xml.XMLTagNode]
[checking org.overture.ct.ctruntime.server.xml.XMLNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLOpenTagNode.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLTagNode.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLNode.class]]
[checking org.overture.ct.ctruntime.utils.TraceResult]
[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/Class.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceResult.class]]
[checking org.overture.ct.ctruntime.utils.TraceTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceTest.class]]
[checking org.overture.ct.ctruntime.server.xml.XMLTextNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLTextNode.class]]
[checking org.overture.ct.ctruntime.utils.TraceResultReader]
[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/javax/xml/xpath/XPathException.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/org/xml/sax/InputSource.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/namespace/QName.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/lang/Error.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.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/java/lang/NumberFormatException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceResultReader.class]]
[checking org.overture.ct.ctruntime.utils.ReductionTestData]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/ReductionTestData.class]]
[checking org.overture.ct.ctruntime.server.xml.XMLParser]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CloneNotSupportedException.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/lang/NoSuchFieldError.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLParser$Token.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLParser$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLParser.class]]
[checking org.overture.ct.ctruntime.server.xml.XMLDataNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/xml/XMLDataNode.class]]
[checking org.overture.ct.ctruntime.TraceRunnerMain]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/util/ConfigBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilenameFilter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileFilter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/messages/rtlog/IRTLogger.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/PrintStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/messages/Redirector.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[/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/io/Writer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/SortedMap.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Runnable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/AstAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistantFactory.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/net/UnknownHostException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceRunnerMain$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceRunnerMain$2.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceRunnerMain.class]]
[checking org.overture.ct.ctruntime.IProgressMonitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/IProgressMonitor.class]]
[checking org.overture.ct.ctruntime.utils.NamedNodeMapIterator]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/NamedNodeMapIterator.class]]
[checking org.overture.ct.ctruntime.utils.CtHelper]
[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/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/CtHelper$CtTestData.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/CtHelper$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/CtHelper.class]]
[checking org.overture.ct.ctruntime.TraceInterpreter]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/util/ModuleListInterpreter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/modules/ModuleList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/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)]]
[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[/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/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/util/ClassListInterpreter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/definitions/ClassList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistant.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PDefinitionAssistant.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/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/assistant/IInterpreterAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/assistant/definition/ANamedTraceDefinitionAssistantInterpreter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/RandomAccess.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceInterpreter$StopWatch.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceInterpreter$1.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar(org/overture/interpreter/debug/DBGPReader.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceInterpreter.class]]
[checking org.overture.ct.ctruntime.server.common.Utils]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/server/common/Utils.class]]
[checking org.overture.ct.ctruntime.utils.NodeIterator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/NodeIterator.class]]
[total 140ms]
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 60 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java/org/overture/ct/ctruntime/tests/CtTestCaseBase.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java/org/overture/ct/ctruntime/tests/CtNoReductionSlTestCase.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java/org/overture/ct/ctruntime/tests/CtNoReductionPpTestCase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java/org/overture/ct/ctruntime/tests/CtMultiFileNoReductionSlTestCase.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java/org/overture/ct/ctruntime/tests/util/TestSourceFinder.java]]
[parsing completed 2ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java/org/overture/ct/ctruntime/tests/CtRandomReductionSlTestCase.java]]
[parsing completed 1ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/test/java,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/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/combinatorialtesting/ctruntime/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-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/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/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.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[/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/PrintWriter.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/java/util/List.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/junit/junit/4.11/junit-4.11.jar(org/junit/After.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/Test.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/TraceRunnerMain.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/CtHelper.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/CtHelper$CtTestData.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/Data.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceResult.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceResultReader.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/Properties.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/TestResourcesResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Document.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Element.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Node.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ResultTestCase4.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter$IResultStore.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.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/Collection.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/AfterClass.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/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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/InvocationTargetException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InstantiationException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/ReductionTestData.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/utils/TraceReductionInfo.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[/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.ct.ctruntime.tests.CtTestCaseBase]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.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/lang/Comparable.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[/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/lang/CharSequence.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/net/URI.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketImpl.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/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 RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes/org/overture/ct/ctruntime/IProgressMonitor.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/RuntimeException.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/net/SocketException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/test-classes/org/overture/ct/ctruntime/tests/CtTestCaseBase.class]]
[checking org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/test-classes/org/overture/ct/ctruntime/tests/CtNoReductionSlTestCase.class]]
[checking org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/test-classes/org/overture/ct/ctruntime/tests/CtNoReductionPpTestCase.class]]
[checking org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/test-classes/org/overture/ct/ctruntime/tests/CtMultiFileNoReductionSlTestCase.class]]
[checking org.overture.ct.ctruntime.tests.util.TestSourceFinder]
[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/ReflectiveOperationException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileDescriptor.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStreamReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[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/combinatorialtesting/ctruntime/target/test-classes/org/overture/ct/ctruntime/tests/util/TestSourceFinder.class]]
[checking org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/test-classes/org/overture/ct/ctruntime/tests/CtRandomReductionSlTestCase.class]]
[total 79ms]
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctruntime ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.451 sec - in org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Running org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.554 sec - in org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.432 sec - in org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.402 sec - in org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase

Results :

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

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctruntime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctruntime ---
[INFO] Analyzed bundle 'Combinatorial Testing Runtime' with 26 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctruntime ---
[INFO] 
2 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java:416: warning: no description for @param
[WARNING] * @param mtd
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java/org/overture/ct/ctruntime/TraceInterpreter.java:417: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctruntime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT-javadoc.jar