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 VDM Type Checker 2.7.5-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.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-pvj-main/core/typechecker/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) @ typechecker --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 138 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/classes [INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Some input files use unchecked or unsafe operations. [INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2043 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/test-classes [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest Tests run: 74, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.791 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest test[extension-13.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest) Time elapsed: 0.034 sec <<< FAILURE! java.lang.AssertionError: Errors found in file "extension-13.vpp.result" Missing Warning: 5000 extension-13.vpp at 302:11 Definition 'dummy' not used Unexpected Error: 2295 extension-13.vpp at 141:13 Name contains a reserved prefix Unexpected Error: 2295 extension-13.vpp at 161:28 Name contains a reserved prefix Missing Error: 3294 extension-13.vpp at 41:8 Only one system class permitted Missing Error: 3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types Missing Error: 3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types Missing Error: 3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types Missing Error: 3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope Missing Error: 3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation Missing Error: 3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope Missing Error: 3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope Missing Error: 3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope test[extension-12.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest) Time elapsed: 0.014 sec <<< FAILURE! java.lang.AssertionError: Errors found in file "extension-12.vpp.result" Missing Warning: 5000 extension-12.vpp at 295:11 Definition 'dummy' not used Unexpected Error: 2295 extension-12.vpp at 129:13 Name contains a reserved prefix Unexpected Error: 2295 extension-12.vpp at 149:28 Name contains a reserved prefix Missing Error: 3294 extension-12.vpp at 41:8 Only one system class permitted Missing Error: 3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types Missing Error: 3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types Missing Error: 3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types Missing Error: 3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope Missing Error: 3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation test[extension-01.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest) Time elapsed: 0.041 sec <<< FAILURE! java.lang.AssertionError: Errors found in file "extension-01.vpp.result" Unexpected Error: 2295 extension-01.vpp at 110:13 Name contains a reserved prefix Unexpected Error: 2295 extension-01.vpp at 130:28 Name contains a reserved prefix Missing Error: 3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope Missing Error: 3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation Missing Error: 3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types Missing Error: 3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types Missing Error: 3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types Missing Error: 3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.406 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest Tests run: 1216, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 3.647 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest test[letexpr-23.vdm](org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest) Time elapsed: 0.002 sec <<< FAILURE! java.lang.AssertionError: Errors found in file "letexpr-23.vdm.result" Missing Warning: 5000 letexpr-23.vdm at 24:26 Definition 'c' not used Missing Warning: 5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used Missing Warning: 5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used Missing Warning: 5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used Missing Warning: 5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used Unexpected Error: 2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix Missing Error: 3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered Running org.overture.typechecker.tests.ClassesRtTypeCheckTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.542 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest Running org.overture.typechecker.tests.ClassesPpTypeCheckTest Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.673 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest Running org.overture.typechecker.tests.ModulesSlTypeCheckTest Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.593 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest Results : Failed tests: ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-01.vpp.result" Unexpected Error: 2295 extension-01.vpp at 110:13 Name contains a reserved prefix Unexpected Error: 2295 extension-01.vpp at 130:28 Name contains a reserved prefix Missing Error: 3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope Missing Error: 3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation Missing Error: 3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types Missing Error: 3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types Missing Error: 3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types Missing Error: 3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-12.vpp.result" Missing Warning: 5000 extension-12.vpp at 295:11 Definition 'dummy' not used Unexpected Error: 2295 extension-12.vpp at 129:13 Name contains a reserved prefix Unexpected Error: 2295 extension-12.vpp at 149:28 Name contains a reserved prefix Missing Error: 3294 extension-12.vpp at 41:8 Only one system class permitted Missing Error: 3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types Missing Error: 3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types Missing Error: 3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types Missing Error: 3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope Missing Error: 3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-13.vpp.result" Missing Warning: 5000 extension-13.vpp at 302:11 Definition 'dummy' not used Unexpected Error: 2295 extension-13.vpp at 141:13 Name contains a reserved prefix Unexpected Error: 2295 extension-13.vpp at 161:28 Name contains a reserved prefix Missing Error: 3294 extension-13.vpp at 41:8 Only one system class permitted Missing Error: 3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types Missing Error: 3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types Missing Error: 3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types Missing Error: 3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope Missing Error: 3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation Missing Error: 3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope Missing Error: 3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope Missing Error: 3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope ExternalModulesSlTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "letexpr-23.vdm.result" Missing Warning: 5000 letexpr-23.vdm at 24:26 Definition 'c' not used Missing Warning: 5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used Missing Warning: 5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used Missing Warning: 5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used Missing Warning: 5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used Unexpected Error: 2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix Missing Error: 3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered Tests run: 1906, Failures: 4, Errors: 0, Skipped: 0 [ERROR] There are test failures. Please refer to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/surefire-reports for the individual test results. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker --- [INFO] Analyzed bundle 'The VDM Type Checker' with 152 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker --- [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.pom