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 #197 [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 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/SeqUtil.java]] [parsing completed 4ms] [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 0ms] [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 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMUtil.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/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 1ms] [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 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/MapUtil.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/VDMSet.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/Permutor.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/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 1ms] [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 0ms] [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 1ms] [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 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/IO.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/StaticSentinel.java]] [parsing completed 1ms] [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 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java/org/overture/codegen/runtime/Tuple.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/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 0ms] [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 1ms] [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 322ms] [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 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/MapTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/IsTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/PermutorTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/test/java/TupleTest.java]] [parsing completed 0ms] [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 46ms] [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.175 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.001 sec - in IsTest Running TupleTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec - in TupleTest Running IOTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.022 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