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 Runtime 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-runtime ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 58 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) @ codegen-runtime ---
[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/codegen-runtime/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) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 52 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMMap.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TraceReductionType.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestAccumulator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Sentinel.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Record.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/SetUtil.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMThread.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/MATH.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/SeqUtil.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TraceUtil.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/RepeatTraceNode.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMUtil.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/Store.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/PrintTestAccumulator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/ObjectCopy.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/IdGenerator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayInputStream.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/MapUtil.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMSet.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/Permutor.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TraceVariable.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMSeq.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/CallStatementPp.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/ConcurrentTraceNode.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/ModuleCopy.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Utils.java]]
[parsing completed 2ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/IIterableTraceNode.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/ExitException.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/IO.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/StaticSentinel.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/ValueType.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/PermuteArray.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TraceNode.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/CallStatement.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Token.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/StaticOperationsCounters.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/SequenceTraceNode.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Tuple.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/LazyTestSequence.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/Pair.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/Statement.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/AlternativeTraceNode.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/Verdict.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/InMemoryTestAccumulator.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/StatementTraceNode.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/CallSequence.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/EvaluatePP.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Maplet.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TraceTest.java]]
[parsing completed 0ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java,/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/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/codegen-runtime/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,.]
[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/LinkedHashMap.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/util/Set.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/util/HashMap.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/io/Serializable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.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/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/lang/Integer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.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/Collection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.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/Thread.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/util/Random.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.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/RandomAccess.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/lang/reflect/Field.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Modifier.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/lang/NoSuchFieldException.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/Long.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/Closeable.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/Double.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/lang/RuntimeException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.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/nio/charset/Charset.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/lang/reflect/Method.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/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)]]
[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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/sun/misc/Contended.class)]]
[checking org.overture.codegen.runtime.VDMMap]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiFunction.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiConsumer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map$Entry.class)]]
[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/util/function/Function.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/CharSequence.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMMap.class]]
[checking org.overture.codegen.runtime.ValueType]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/ValueType.class]]
[checking org.overture.codegen.runtime.traces.TraceReductionType]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TraceReductionType.class]]
[checking org.overture.codegen.runtime.traces.TestAccumulator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TestAccumulator.class]]
[checking org.overture.codegen.runtime.traces.TraceTest]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Locale.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TraceTest.class]]
[checking org.overture.codegen.runtime.traces.Verdict]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/Verdict.class]]
[checking org.overture.codegen.runtime.Sentinel]
[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/lang/Error.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/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Sentinel.class]]
[checking org.overture.codegen.runtime.EvaluatePP]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/EvaluatePP.class]]
[checking org.overture.codegen.runtime.Record]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Record.class]]
[checking org.overture.codegen.runtime.SetUtil]
[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/Math.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/SetUtil.class]]
[checking org.overture.codegen.runtime.VDMSet]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMSet.class]]
[checking org.overture.codegen.runtime.VDMThread]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMThread.class]]
[checking org.overture.codegen.runtime.MATH]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/MATH.class]]
[checking org.overture.codegen.runtime.SeqUtil]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/SeqUtil.class]]
[checking org.overture.codegen.runtime.VDMSeq]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ListIterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/UnaryOperator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.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/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMSeq.class]]
[checking org.overture.codegen.runtime.traces.TraceUtil]
[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/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[/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/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TraceUtil.class]]
[checking org.overture.codegen.runtime.traces.RepeatTraceNode]
[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/AssertionError.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)]]
[checking org.overture.codegen.runtime.traces.TraceNode]
[checking org.overture.codegen.runtime.traces.CallStatement]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/RepeatTraceNode$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/RepeatTraceNode.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TraceNode.class]]
[checking org.overture.codegen.runtime.traces.IIterableTraceNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/IIterableTraceNode.class]]
[checking org.overture.codegen.runtime.traces.Pair]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/Pair.class]]
[checking org.overture.codegen.runtime.traces.CallSequence]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/UnsupportedOperationException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/CallSequence.class]]
[checking org.overture.codegen.runtime.traces.Statement]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/Statement.class]]
[checking org.overture.codegen.runtime.traces.TestSequence]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Enumeration.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TestSequence$TestData.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TestSequence$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TestSequence.class]]
[checking org.overture.codegen.runtime.traces.TraceVariable]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/TraceVariable.class]]
[checking org.overture.codegen.runtime.traces.Store]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/Store.class]]
[checking org.overture.codegen.runtime.traces.ModuleCopy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/ModuleCopy.class]]
[checking org.overture.codegen.runtime.VDMUtil]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMUtil.class]]
[checking org.overture.codegen.runtime.Tuple]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Tuple.class]]
[checking org.overture.codegen.runtime.traces.PrintTestAccumulator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/PrintTestAccumulator.class]]
[checking org.overture.codegen.runtime.traces.ObjectCopy]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/ObjectCopy.class]]
[checking org.overture.codegen.runtime.traces.IdGenerator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/IdGenerator.class]]
[checking org.overture.codegen.runtime.copying.FastByteArrayInputStream]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/copying/FastByteArrayInputStream.class]]
[checking org.overture.codegen.runtime.MapUtil]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessError.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IncompatibleClassChangeError.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/LinkageError.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/MapUtil.class]]
[checking org.overture.codegen.runtime.Maplet]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Maplet.class]]
[checking org.overture.codegen.runtime.traces.Permutor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/Permutor.class]]
[checking org.overture.codegen.runtime.traces.CallStatementPp]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/CallStatementPp.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/CallStatement.class]]
[checking org.overture.codegen.runtime.traces.ConcurrentTraceNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/ConcurrentTraceNode.class]]
[checking org.overture.codegen.runtime.Utils]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ArithmeticException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintWriter.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Utils.class]]
[checking org.overture.codegen.runtime.copying.DeepCopy]
[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/ObjectStreamConstants.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/lang/ClassNotFoundException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/copying/DeepCopy.class]]
[checking org.overture.codegen.runtime.ExitException]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/ExitException.class]]
[checking org.overture.codegen.runtime.IO]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/UnsupportedEncodingException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/IO.class]]
[checking org.overture.codegen.runtime.StaticSentinel]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Executable.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/StaticSentinel.class]]
[checking org.overture.codegen.runtime.StaticOperationsCounters]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/StaticOperationsCounters.class]]
[checking org.overture.codegen.runtime.traces.PermuteArray]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/PermuteArray.class]]
[checking org.overture.codegen.runtime.Token]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Token.class]]
[checking org.overture.codegen.runtime.traces.SequenceTraceNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/SequenceTraceNode.class]]
[checking org.overture.codegen.runtime.traces.LazyTestSequence]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/LazyTestSequence$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/LazyTestSequence.class]]
[checking org.overture.codegen.runtime.copying.FastByteArrayOutputStream]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.class]]
[checking org.overture.codegen.runtime.traces.AlternativeTraceNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/AlternativeTraceNode.class]]
[checking org.overture.codegen.runtime.traces.InMemoryTestAccumulator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/InMemoryTestAccumulator.class]]
[checking org.overture.codegen.runtime.traces.StatementTraceNode]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/StatementTraceNode.class]]
[total 260ms]
[WARNING] bootstrap class path not set in conjunction with -source 1.7
[INFO] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/MapUtil.java: /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/MapUtil.java uses unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/MapUtil.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/IOTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/PermuteArrayTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/MapTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/IsTest.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/PermutorTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/TupleTest.java]]
[parsing completed 1ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java,/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/generated-test-sources/test-annotations]
[search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/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,.]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Test.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/IO.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/SeqUtil.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Tuple.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMSeq.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/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/PermuteArray.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/MapUtil.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Maplet.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/VDMMap.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/Utils.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/traces/Permutor.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/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/RuntimeException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[checking IOTest]
[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 RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes/org/overture/codegen/runtime/ValueType.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/Integer.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/SuppressWarnings.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/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/Number.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/CharSequence.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes/IOTest.class]]
[checking PermuteArrayTest]
[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/lang/Cloneable.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes/PermuteArrayTest.class]]
[checking MapTest]
[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)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes/MapTest.class]]
[checking IsTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes/IsTest.class]]
[checking PermutorTest]
[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/codegen-runtime/target/test-classes/PermutorTest.class]]
[checking TupleTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/test-classes/TupleTest.class]]
[total 53ms]
[WARNING] bootstrap class path not set in conjunction with -source 1.7
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-runtime ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running MapTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.159 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec - in PermutorTest
Running IsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec - in IsTest
Running TupleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec - in TupleTest
Running IOTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 sec - in IOTest

Results :

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

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime ---
[INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime ---
[INFO] 
9 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @param for orig
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/DeepCopy.java:19: warning: no @return
[WARNING] public static Object copy(Object orig)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:57: warning: no @return
[WARNING] public byte[] getByteArray()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:90: warning: no @return
[WARNING] public InputStream getInputStream()
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/copying/FastByteArrayOutputStream.java:28: warning: no @param for initSize
[WARNING] public FastByteArrayOutputStream(int initSize)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:53: warning: no description for @param
[WARNING] * @param result
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:54: warning: no description for @param
[WARNING] * @param test
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:55: warning: no description for @param
[WARNING] * @param n
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/traces/TestSequence.java:100: warning: no description for @param
[WARNING] * @param other
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT-sources.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-runtime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT-sources.jar