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 Overture Sample Tests 2.6.5-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ samples --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/testing/samples' for files matching the pattern '**/*.java' - excludes: **/target/* [TASKS] Found 3 files to scan for tasks Found 0 open tasks. [TASKS] Computing warning deltas based on reference build #198 [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ samples --- [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/testing/samples/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) @ samples --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ samples --- [INFO] No sources to compile [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ samples --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 3215 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ samples --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 3 source files to /var/lib/jenkins/workspace/overture-test/core/testing/samples/target/test-classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/src/test/java/org/overture/core/testing/samples/SampleTestResult.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/src/test/java/org/overture/core/testing/samples/SampleExternalsTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/src/test/java/org/overture/core/testing/samples/SampleStandardTest.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/testing/samples/src/test/java,/var/lib/jenkins/workspace/overture-test/core/testing/samples/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/testing/samples/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/testing/samples/target/classes,/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,.] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.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/io/Serializable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar(org/apache/commons/collections4/CollectionUtils.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/AbsResultTest.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.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/RandomAccess.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/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/io/File.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runner/RunWith.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/ast/factory/AstFactoryTC.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamExternalsTest.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParseTcFacade.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMError.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ParserException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil$ParserResult.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ClassTypeChecker.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/TypeCheckerAssistantFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/reflect/TypeToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamFineGrainTest.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized$Parameters.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamStandardTest.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/PathsProvider.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[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]] [checking org.overture.core.testing.samples.SampleTestResult] [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/Iterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.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/Enumeration.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModules.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.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/lang/Byte.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/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)]] [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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/target/test-classes/org/overture/core/testing/samples/SampleTestResult.class]] [checking org.overture.core.testing.samples.SampleExternalsTest] [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/FileNotFoundException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.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/net/URI.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/AstAssistantFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistantFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/factory/AstFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMMessage.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/target/test-classes/org/overture/core/testing/samples/SampleExternalsTest$1.class]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeChecker.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/target/test-classes/org/overture/core/testing/samples/SampleExternalsTest.class]] [checking org.overture.core.testing.samples.SampleStandardTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/target/test-classes/org/overture/core/testing/samples/SampleStandardTest$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/samples/target/test-classes/org/overture/core/testing/samples/SampleStandardTest.class]] [total 57ms] [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ samples --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.core.testing.samples.SampleStandardTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.754 sec - in org.overture.core.testing.samples.SampleStandardTest Running org.overture.core.testing.samples.SampleExternalsTest Tests run: 3211, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.421 sec - in org.overture.core.testing.samples.SampleExternalsTest Results : Tests run: 3213, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ samples --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/testing/samples/target/samples-2.6.5-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ samples --- [INFO] Analyzed bundle 'Overture Sample Tests' with 0 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ samples --- [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ samples --- [INFO] Skipping artifact installation